BGX_MAXID
KASSERT(bgx->bgx_id <= BGX_MAXID,
("Invalid BGX ID: %d, max: %d", bgx->bgx_id, BGX_MAXID));