esr_sys64_to_sysreg
sysreg = esr_sys64_to_sysreg(esr);
sysreg = esr_sys64_to_sysreg(esr);
u32 sysreg = esr_sys64_to_sysreg(kvm_vcpu_get_esr(vcpu));
u32 sysreg = esr_sys64_to_sysreg(kvm_vcpu_get_esr(vcpu));
sysreg = esr_sys64_to_sysreg(kvm_vcpu_get_esr(vcpu));
u32 sysreg = esr_sys64_to_sysreg(kvm_vcpu_get_esr(vcpu));
switch (esr_sys64_to_sysreg(esr)) {
sysreg = esr_sys64_to_sysreg(esr);
switch (esr_sys64_to_sysreg(esr)) {
instr = esr_sys64_to_sysreg(kvm_vcpu_get_esr(vcpu));
if (!is_hyp_ctxt(vcpu) || esr_sys64_to_sysreg(esr) != SYS_CPACR_EL1)
u32 sysreg = esr_sys64_to_sysreg(kvm_vcpu_get_esr(vcpu));