VP_IDX0
idx0 = VP_IDX0(va);
vp1 = pm->pm_vp.l0->vp[VP_IDX0(pted->pted_va)];
printf(" vp0 = %p off %x\n", pm->pm_vp.l0, VP_IDX0(va)*8);
vp1 = pm->pm_vp.l0->vp[VP_IDX0(va)];
vp1 = pm->pm_vp.l0->vp[VP_IDX0(va)];
vp1 = pm->pm_vp.l0->vp[VP_IDX0(va)];
vp1 = pm->pm_vp.l0->vp[VP_IDX0(va)];
vp1 = dom->sd_vp.l0->vp[VP_IDX0(va)];
vp1 = dom->sd_vp.l0->vp[VP_IDX0(va)];
vp1 = dom->sd_vp.l0->vp[VP_IDX0(va)];
idx0 = VP_IDX0(va);
vp1 = dom->sd_vp.l0->vp[VP_IDX0(va)];