Searched refs:vlapic_post_intr (Results 1 – 3 of 3) sorted by relevance
71 void vlapic_post_intr(struct vlapic *vlapic, int hostcpu, int ipinum);
1712 vlapic_post_intr(struct vlapic *vlapic, int hostcpu, int ipinum) in vlapic_post_intr() function
2271 vlapic_post_intr(vcpu->vlapic, hostcpu, in vcpu_notify_event_locked()