Home
last modified time | relevance | path

Searched refs:TTBR1_EL2 (Results 1 – 6 of 6) sorted by relevance

/arch/arm64/kvm/hyp/vhe/
A Dsysreg-sr.c51 __vcpu_assign_sys_reg(vcpu, TTBR1_EL2, read_sysreg_el1(SYS_TTBR1)); in __sysreg_save_vel2_state()
108 write_sysreg_el1(__vcpu_sys_reg(vcpu, TTBR1_EL2), SYS_TTBR1); in __sysreg_restore_vel2_state()
/arch/arm64/kvm/
A Dat.c127 vcpu_read_sys_reg(vcpu, TTBR1_EL2) : in setup_s1_walk()
431 vcpu_read_sys_reg(vcpu, TTBR1_EL2) : in walk_s1()
A Dnested.c1270 vcpu_read_sys_reg(vcpu, TTBR1_EL2) : in kvm_vncr_tlb_lookup()
1370 vcpu_read_sys_reg(vcpu, TTBR1_EL2) : in kvm_map_l1_vncr()
A Dsys_regs.c128 MAPPED_EL2_SYSREG(TTBR1_EL2, TTBR1_EL1, NULL ); in get_el2_to_el1_mapping()
3395 EL2_REG(TTBR1_EL2, access_rw, reset_val, 0),
/arch/arm64/include/asm/
A Dkvm_host.h500 TTBR1_EL2, /* Translation Table Base Register 1 (EL2) */ enumerator
/arch/arm64/
A DKconfig1245 case-4 TTBR1_EL2 with TCR_EL2.NFD1 == 1.

Completed in 30 milliseconds