Lines Matching refs:interrupt_num
700 lapic_interrupt(int interrupt_num, x86_saved_state_t *state)
705 interrupt_num -= lapic_interrupt_base;
706 if (interrupt_num < 0) {
707 if (interrupt_num == (LAPIC_NMI_INTERRUPT - lapic_interrupt_base) &&
716 switch(interrupt_num) {
721 if (lapic_intr_func[interrupt_num] != NULL)
722 (void) (*lapic_intr_func[interrupt_num])(state);
730 if (lapic_intr_func[interrupt_num] != NULL) {
731 (void) (*lapic_intr_func[interrupt_num])(state);
741 if (lapic_intr_func[interrupt_num] != NULL)
742 (void) (*lapic_intr_func[interrupt_num])(state);