Home
last modified time | relevance | path

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

/Linux-v4.19/arch/arm/kvm/hyp/
Dcp15-sr.c36 ctxt->cp15[c2_TTBCR] = read_sysreg(TTBCR); in __sysreg_save_state()
65 write_sysreg(ctxt->cp15[c2_TTBCR], TTBCR); in __sysreg_restore_state()
/Linux-v4.19/virt/kvm/arm/
Daarch32.c224 is_lpae = (vcpu_cp15(vcpu, c2_TTBCR) >> 31); in inject_abt32()
/Linux-v4.19/arch/arm/include/asm/
Dkvm_host.h118 c2_TTBCR, /* Translation Table Base Control R. */ enumerator
/Linux-v4.19/arch/arm64/include/asm/
Dkvm_host.h166 #define c2_TTBCR (TCR_EL1 * 2) /* Translation Table Base Control R. */ macro
/Linux-v4.19/arch/arm/kvm/
Dcoproc.c410 access_vm_reg, reset_val, c2_TTBCR, 0x00000000 },
/Linux-v4.19/arch/arm64/kvm/
Dsys_regs.c1663 { Op1( 0), CRn( 2), CRm( 0), Op2( 2), access_vm_reg, NULL, c2_TTBCR },