PVE_EOL
pvbase[i].pv_idx = PVE_EOL; /* Indicate no mappings */
if (pv_idx == PVE_EOL) {
for (idx = pv->pv_idx; idx != PVE_EOL; idx = pvebase[idx].pve_next) {
idx != PVE_EOL;
for (idx = pv->pv_idx; idx != PVE_EOL; idx = pvebase[idx].pve_next) {
pv->pv_idx = PVE_EOL;
for (idx = pv->pv_idx; idx != PVE_EOL; idx = pvebase[idx].pve_next) {
for (; idx != PVE_EOL && n > 0; idx = pvebase[idx].pve_next, n--) {