MVGBE_JSLOTS
(MVGBE_JPAGESZ - (MVGBE_JLEN * MVGBE_JSLOTS) % MVGBE_JPAGESZ)
((MVGBE_JLEN * MVGBE_JSLOTS) + MVGBE_RESID)
for (i = 0; i < MVGBE_JSLOTS; i++) {
if ((i < 0) || (i >= MVGBE_JSLOTS))
void *mvgbe_jslots[MVGBE_JSLOTS];