Searched defs:prenr_el2_value (Results 1 – 2 of 2) sorted by relevance
44 uint64_t prenr_el2_value = 0U; in xlat_tables_print_internal() local
107 uint64_t prenr_el2_value = 0UL; in mpu_map_region() local