Searched refs:TTBR1_EL2 (Results 1 – 4 of 4) sorted by relevance
122 vcpu_read_sys_reg(vcpu, TTBR1_EL2) : in setup_s1_walk()
120 MAPPED_EL2_SYSREG(TTBR1_EL2, TTBR1_EL1, NULL ); in get_el2_to_el1_mapping()2827 EL2_REG(TTBR1_EL2, access_rw, reset_val, 0),
476 TTBR1_EL2, /* Translation Table Base Register 1 (EL2) */ enumerator
1218 case-4 TTBR1_EL2 with TCR_EL2.NFD1 == 1.