Home
last modified time | relevance | path

Searched refs:c2_TTBR1 (Results 1 – 5 of 5) sorted by relevance

/arch/arm/kvm/hyp/
Dcp15-sr.c35 *cp15_64(ctxt, c2_TTBR1) = read_sysreg(TTBR1); in __sysreg_save_state()
64 write_sysreg(*cp15_64(ctxt, c2_TTBR1), TTBR1); in __sysreg_restore_state()
/arch/arm64/include/asm/
Dkvm_host.h158 #define c2_TTBR1 (TTBR1_EL1 * 2) /* Translation Table Base Register 1 */ macro
159 #define c2_TTBR1_high (c2_TTBR1 + 1) /* TTBR1 top 32 bits */
/arch/arm/include/asm/
Dkvm_host.h114 c2_TTBR1, /* Translation Table Base Register 1 */ enumerator
/arch/arm/kvm/
Dcoproc.c335 access_vm_reg, reset_unknown, c2_TTBR1 },
338 { CRm64( 2), Op1( 1), is64, access_vm_reg, reset_unknown64, c2_TTBR1 },
/arch/arm64/kvm/
Dsys_regs.c1287 { Op1( 0), CRn( 2), CRm( 0), Op2( 1), access_vm_reg, NULL, c2_TTBR1 },
1403 { Op1( 1), CRn( 0), CRm( 2), Op2( 0), access_vm_reg, NULL, c2_TTBR1 },