inthand_t
setidt(int idx, inthand_t *func, int typ, int dpl, int ist)
extern inthand_t
extern inthand_t IDTVEC(bpt), IDTVEC(bpt_pti), IDTVEC(dbg),
extern inthand_t IDTVEC(int0x80_syscall), IDTVEC(int0x80_syscall_pti),
inthand_t
extern inthand_t IDTVEC(vmbus_isr), IDTVEC(vmbus_isr_pti);
setidt(int idx, inthand_t *func, int typ, int dpl, int selec)
extern inthand_t
extern inthand_t IDTVEC(bpt), IDTVEC(dbg), IDTVEC(int0x80_syscall);
inthand_t
inthand_t
int lapic_ipi_alloc(inthand_t *ipifunc);
inthand_t
inthand_t *at_intr, *at_intr_pti;
inthand_t
inthand_t
inthand_t bluetrap6;
inthand_t bluetrap13;
lapic_ipi_alloc(inthand_t *ipifunc)
static inthand_t *ioint_handlers[] = {
static inthand_t *ioint_pti_handlers[] = {
extern inthand_t IDTVEC(rsvd_pti), IDTVEC(rsvd);