Symbol: inject_sync64
arch/arm64/kvm/hyp/nvhe/sys_regs.c
282
inject_sync64(vcpu, (ESR_ELx_EC_UNKNOWN << ESR_ELx_EC_SHIFT) | ESR_ELx_IL);
arch/arm64/kvm/hyp/nvhe/sys_regs.c
364
inject_sync64(vcpu, kvm_vcpu_get_esr(vcpu));