vlapic_intr_accepted
vlapic_intr_accepted(vlapic, vector);
void vlapic_intr_accepted(struct vlapic *vlapic, int vector);