Searched refs:VTTBR_BADDR_MASK (Results 1 – 4 of 4) sorted by relevance
256 | (VTTBR_BADDR_MASK << VTTBR_BADDR_SHIFT))); in cm_prepare_el3_exit()
336 | (VTTBR_BADDR_MASK << VTTBR_BADDR_SHIFT))); in cm_prepare_el3_exit()
193 #define VTTBR_BADDR_MASK 0xffffffffffff macro
235 #define VTTBR_BADDR_MASK ULL(0xffffffffffff) macro