Searched refs:PAGE_SIZE_4KB (Results 1 – 11 of 11) sorted by relevance
27 #if PAGE_SIZE != PAGE_SIZE_4KB
33 #if PAGE_SIZE == PAGE_SIZE_4KB
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()
24 extern uint64_t fdt_blob[PAGE_SIZE_4KB / sizeof(uint64_t)];
91 CASSERT((STM32MP_NS_SYSRAM_BASE & (PAGE_SIZE_4KB - U(1))) == 0U,
107 PAGE_SIZE_4KB, in debugfs_smc_handler()
27 #define PAGE_SIZE_4KB U(4096) macro
270 if (fragment_length > mbox->rxtx_page_count * PAGE_SIZE_4KB) { in spmc_ffa_fill_desc()272 fragment_length, mbox->rxtx_page_count * PAGE_SIZE_4KB); in spmc_ffa_fill_desc()
109 uint64_t fdt_blob[PAGE_SIZE_4KB / sizeof(uint64_t)];
118 uint64_t fdt_blob[PAGE_SIZE_4KB / sizeof(uint64_t)];
Completed in 15 milliseconds