intr_pending
if (vrp->vrp_irqready && intr_pending(current_vm)) {
vrp->vrp_intr_pending = intr_pending(current_vm);
int intr_pending(struct vmd_vm *);