OBERON_UBC_ID_MAX
OBERON_UBC_ID_MAX, KM_SLEEP);
for (ubc_id = 0; ubc_id < OBERON_UBC_ID_MAX; ubc_id++) {
(sizeof (uint64_t)*OBERON_UBC_ID_MAX));