vlapic_pending_intr
if (!vlapic_pending_intr(vlapic, &vector))
if (!vlapic_pending_intr(vlapic, &vector))
int vlapic_pending_intr(struct vlapic *vlapic, int *vecptr);
vlapic_pending_intr(vcpu->vlapic, NULL)) {