XIVE_NUM_PRIORITIES
for (i = 0; i < XIVE_NUM_PRIORITIES; i++) {
KASSERT(cppr < XIVE_NUM_PRIORITIES);
struct xive_eq sc_eq[MAXCPUS][XIVE_NUM_PRIORITIES];