Searched refs:PAGE_SIZE_4KB (Results 1 – 9 of 9) sorted by relevance
27 if (size == PAGE_SIZE_4KB) { in xlat_arch_is_granule_size_supported()51 assert(xlat_arch_is_granule_size_supported(PAGE_SIZE_4KB)); in xlat_arch_get_max_supported_granule_size()52 return PAGE_SIZE_4KB; in xlat_arch_get_max_supported_granule_size()
34 return size == PAGE_SIZE_4KB; in xlat_arch_is_granule_size_supported()39 return PAGE_SIZE_4KB; in xlat_arch_get_max_supported_granule_size()
27 #if PAGE_SIZE != PAGE_SIZE_4KB
33 #if PAGE_SIZE == PAGE_SIZE_4KB
24 extern uint64_t fdt_blob[PAGE_SIZE_4KB / sizeof(uint64_t)];
107 PAGE_SIZE_4KB, in debugfs_smc_handler()
27 #define PAGE_SIZE_4KB U(4096) macro
95 uint64_t fdt_blob[PAGE_SIZE_4KB / sizeof(uint64_t)];
114 uint64_t fdt_blob[PAGE_SIZE_4KB / sizeof(uint64_t)];