Home
last modified time | relevance | path

Searched refs:region_top (Results 1 – 5 of 5) sorted by relevance

/device/linaro/bootloader/arm-trusted-firmware/drivers/arm/tzc/
Dtzc_common_private.h48 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); \
Dtzc400.c171 unsigned long long region_top, in tzc400_configure_region() argument
185 assert(((region_top <= _tzc_get_max_top_addr(tzc400.addr_width)) && in tzc400_configure_region()
186 (region_base < region_top))); in tzc400_configure_region()
189 assert(((region_base | (region_top + 1)) & (4096 - 1)) == 0); in tzc400_configure_region()
194 region_top, in tzc400_configure_region()
Dtzc_dmc500.c176 unsigned long long region_top, in tzc_dmc500_configure_region() argument
190 assert(((region_top <= _tzc_get_max_top_addr(43)) && in tzc_dmc500_configure_region()
191 (region_base < region_top))); in tzc_dmc500_configure_region()
194 assert(((region_base | (region_top + 1)) & (4096 - 1)) == 0); in tzc_dmc500_configure_region()
202 region_no, region_base, region_top, in tzc_dmc500_configure_region()
/device/linaro/bootloader/arm-trusted-firmware/include/drivers/arm/
Dtzc400.h119 unsigned long long region_top,
137 unsigned long long region_top,
160 unsigned long long region_top, in tzc_configure_region() argument
165 region_top, sec_attr, ns_device_access); in tzc_configure_region()
Dtzc_dmc500.h140 unsigned long long region_top,