Searched refs:TTBR0_EL2 (Results 1 – 4 of 4) sorted by relevance
123 vcpu_read_sys_reg(vcpu, TTBR0_EL2)); in setup_s1_walk()
118 MAPPED_EL2_SYSREG(TTBR0_EL2, TTBR0_EL1, in get_el2_to_el1_mapping()2826 EL2_REG(TTBR0_EL2, access_rw, reset_val, 0),
475 TTBR0_EL2, /* Translation Table Base Register 0 (EL2) */ enumerator
1216 case-2 TTBR0_EL2 with TCR_EL2.NFD0 == 1.