Searched refs:CONFIG_ARM64_VA_BITS (Results 1 – 2 of 2) sorted by relevance
64 #ifndef CONFIG_ARM64_VA_BITS65 #define CONFIG_ARM64_VA_BITS 48 macro146 #define BASE_XLAT_LEVEL GET_BASE_XLAT_LEVEL(CONFIG_ARM64_VA_BITS)571 __ASSERT(max_va <= (1ULL << CONFIG_ARM64_VA_BITS), in setup_page_tables()598 uint64_t va_bits = CONFIG_ARM64_VA_BITS; in get_tcr()693 if ((virt + size) > (1ULL << CONFIG_ARM64_VA_BITS)) in ARM_MMU_AddMap()
120 #ifndef CONFIG_ARM64_VA_BITS121 #define CONFIG_ARM64_VA_BITS 48 macro