Lines Matching +full:reserved +full:- +full:cpu +full:- +full:vectors

1 /*-
2  * SPDX-License-Identifier: BSD-2-Clause
39  * IDT vectors, but all other device interrupts allocate IDT vectors
40  * on demand.  Currently we have 191 IDT vectors available for device
41  * interrupts on each CPU.  On many systems with I/O APICs, a lot of
42  * the IRQs are not used, so the total number of IRQ values reserved
45  * The first 16 IRQs (0 - 15) are reserved for ISA IRQs.  Interrupt
46  * pins on I/O APICs for non-ISA interrupts use IRQ values starting at
73  * "turn on" the interrupt on the CPU side by setting up an IDT entry, and
101  * An interrupt source.  The upper-layer code uses the PIC methods to
102  * control a given source.  The lower-layer PIC drivers can store additional
137 void	intr_add_cpu(u_int cpu);