HomeSort by relevance Sort by last modified time
    Searched refs:region_top (Results 1 - 5 of 5) sorted by null

  /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/tzc/
tzc_common_private.h 48 unsigned long long region_top) \
55 (uint32_t)region_top); \
61 (uint32_t)(region_top >> 32)); \
131 unsigned long long region_top, \
140 "\n", region_base, region_top);\
155 region_no, region_top); \
tzc400.c 171 unsigned long long region_top,
185 assert(((region_top <= _tzc_get_max_top_addr(tzc400.addr_width)) &&
186 (region_base < region_top)));
188 /* region_base and (region_top + 1) must be 4KB aligned */
189 assert(((region_base | (region_top + 1)) & (4096 - 1)) == 0);
194 region_top,
tzc_dmc500.c 176 unsigned long long region_top,
190 assert(((region_top <= _tzc_get_max_top_addr(43)) &&
191 (region_base < region_top)));
193 /* region_base and (region_top + 1) must be 4KB aligned */
194 assert(((region_base | (region_top + 1)) & (4096 - 1)) == 0);
202 region_no, region_base, region_top, local
  /device/linaro/bootloader/arm-trusted-firmware/include/drivers/arm/
tzc400.h 119 unsigned long long region_top,
137 unsigned long long region_top,
160 unsigned long long region_top,
165 region_top, sec_attr, ns_device_access);
tzc_dmc500.h 140 unsigned long long region_top,

Completed in 104 milliseconds