EMU_MAXPTE
for (i = 0; i < EMU_MAXPTE; i++)
else if (bsize > (EMU_PTESIZE * EMU_MAXPTE))
bsize = EMU_PTESIZE * EMU_MAXPTE;
EMU_MAXPTE * sizeof(u_int32_t),
for (i = 0; i < EMU_MAXPTE; i++)