Home
last modified time | relevance | path

Searched refs:FAR_EL1 (Results 1 - 9 of 9) sorted by relevance

/kernel/linux/linux-6.6/arch/arm64/kvm/
H A Dinject_fault.c87 vcpu_write_sys_reg(vcpu, addr, FAR_EL1); in inject_abt64()
141 far = vcpu_read_sys_reg(vcpu, FAR_EL1); in inject_abt32()
155 vcpu_write_sys_reg(vcpu, far, FAR_EL1); in inject_abt32()
H A Dsys_regs.c2102 { SYS_DESC(SYS_FAR_EL1), access_vm_reg, reset_unknown, FAR_EL1 },
2616 { AA32(LO), Op1( 0), CRn( 6), CRm( 0), Op2( 0), access_vm_reg, NULL, FAR_EL1 },
2618 { AA32(HI), Op1( 0), CRn( 6), CRm( 0), Op2( 2), access_vm_reg, NULL, FAR_EL1 },
H A Demulate-nested.c1021 SR_FGT(SYS_FAR_EL1, HFGxTR, FAR_EL1, 1),
/kernel/linux/linux-5.10/arch/arm64/kvm/hyp/include/hyp/
H A Dsysreg-sr.h40 ctxt_sys_reg(ctxt, FAR_EL1) = read_sysreg_el1(SYS_FAR); in __sysreg_save_el1_state()
106 write_sysreg_el1(ctxt_sys_reg(ctxt, FAR_EL1), SYS_FAR); in __sysreg_restore_el1_state()
/kernel/linux/linux-6.6/arch/arm64/kvm/hyp/include/hyp/
H A Dsysreg-sr.h52 ctxt_sys_reg(ctxt, FAR_EL1) = read_sysreg_el1(SYS_FAR); in __sysreg_save_el1_state()
128 write_sysreg_el1(ctxt_sys_reg(ctxt, FAR_EL1), SYS_FAR); in __sysreg_restore_el1_state()
/kernel/linux/linux-5.10/arch/arm64/kvm/
H A Dinject_fault.c131 vcpu_write_sys_reg(vcpu, addr, FAR_EL1); in inject_abt64()
H A Dsys_regs.c89 case FAR_EL1: *val = read_sysreg_s(SYS_FAR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
129 case FAR_EL1: write_sysreg_s(val, SYS_FAR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1577 { SYS_DESC(SYS_FAR_EL1), access_vm_reg, reset_unknown, FAR_EL1 },
/kernel/linux/linux-5.10/arch/arm64/include/asm/
H A Dkvm_host.h146 FAR_EL1, /* Fault Address Register */ enumerator
223 #define c6_DFAR (FAR_EL1 * 2) /* Data Fault Address Register */
/kernel/linux/linux-6.6/arch/arm64/include/asm/
H A Dkvm_host.h307 FAR_EL1, /* Fault Address Register */ enumerator
831 case FAR_EL1: *val = read_sysreg_s(SYS_FAR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
875 case FAR_EL1: write_sysreg_s(val, SYS_FAR_EL12); break; in __vcpu_write_sys_reg_to_cpu()

Completed in 15 milliseconds