Searched refs:VTTBR_RESET_VAL (Results 1 – 4 of 4) sorted by relevance
275 write64_vttbr(VTTBR_RESET_VAL & in cm_prepare_el3_exit()
283 #define VTTBR_RESET_VAL ULL(0x0) macro
1149 write_vttbr_el2(VTTBR_RESET_VAL & in init_nonsecure_el2_unused()
874 #define VTTBR_RESET_VAL ULL(0x0)867 #define VTTBR_RESET_VAL global() macro