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)) {