ARMGIC_SGI_IPIBASE
uint32_t sgir = __SHIFTIN(ARMGIC_SGI_IPIBASE + ipi, GICD_SGIR_SGIINTID);
__CTASSERT(ARMGIC_SGI_IPIBASE + NIPI <= 8);
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_AST, IPL_VM,
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_XCALL, IPL_HIGH,
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_GENERIC, IPL_HIGH,
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_NOP, IPL_VM,
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_SHOOTDOWN, IPL_SCHED,
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_DDB, IPL_HIGH,
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_KPREEMPT, IPL_VM,