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
1089 write_vttbr_el2(VTTBR_RESET_VAL & in init_nonsecure_el2_unused()
836 #define VTTBR_RESET_VAL ULL(0x0) macro