Home
last modified time | relevance | path

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

/arch/arm/kvm/hyp/
Dcp15-sr.c22 *cp15_64(ctxt, c2_TTBR0) = read_sysreg(TTBR0); in __sysreg_save_state()
51 write_sysreg(*cp15_64(ctxt, c2_TTBR0), TTBR0); in __sysreg_restore_state()
/arch/arm64/include/asm/
Dkvm_host.h180 #define c2_TTBR0 (TTBR0_EL1 * 2) /* Translation Table Base Register 0 */ macro
181 #define c2_TTBR0_high (c2_TTBR0 + 1) /* TTBR0 top 32 bits */
/arch/arm/include/asm/
Dkvm_host.h110 c2_TTBR0, /* Translation Table Base Register 0 */ enumerator
/arch/arm/kvm/
Dcoproc.c397 { CRm64( 2), Op1( 0), is64, access_vm_reg, reset_unknown64, c2_TTBR0 },
399 access_vm_reg, reset_unknown, c2_TTBR0 },
/arch/arm64/kvm/
Dsys_regs.c1940 { Op1( 0), CRn( 2), CRm( 0), Op2( 0), access_vm_reg, NULL, c2_TTBR0 },
2063 { Op1( 0), CRn( 0), CRm( 2), Op2( 0), access_vm_reg, NULL, c2_TTBR0 },