Searched refs:vmm_sbi_handle_ipi (Results 1 – 1 of 1) sorted by relevance
150 vmm_sbi_handle_ipi(struct vcpu *vcpu, struct hypctx *hypctx) in vmm_sbi_handle_ipi() function225 vmm_sbi_handle_ipi(vcpu, hypctx); in vmm_sbi_ecall()