lapic_intr_pending
int lapic_intr_pending(u_int vector);
return (lapic_intr_pending(intpin->io_vector));