ITS_MAX_EVENTS
KASSERT(eventid < ITS_MAX_EVENTS);
const u_int itt_size = roundup(ITS_MAX_EVENTS * itt_entry_size, GITS_ITT_ALIGN);
const u_int id_bits = uimin(31 - __builtin_clz(ITS_MAX_EVENTS) - 1,
#ifndef ITS_MAX_EVENTS
CTASSERT(__SHIFTOUT(ARM_PCI_INTR_MSI_VEC, ARM_PCI_INTR_MSI_VEC) >= ITS_MAX_EVENTS - 1);
uint32_t dev_eventid[ITS_MAX_EVENTS / 32];