Symbol: inject_sync64
arch/arm64/kvm/hyp/nvhe/sys_regs.c
273
inject_sync64(vcpu, (ESR_ELx_EC_UNKNOWN << ESR_ELx_EC_SHIFT));
arch/arm64/kvm/hyp/nvhe/sys_regs.c
355
inject_sync64(vcpu, kvm_vcpu_get_esr(vcpu));