VP_IDX3
vp3->l3[VP_IDX3(pted->pted_va)] = 0;
vp3->vp[VP_IDX3(pted->pted_va)] = NULL;
pted = vp3->vp[VP_IDX3(va)];
pted, vp3->l3[VP_IDX3(va)], VP_IDX3(va)*8);
pted = vp3->vp[VP_IDX3(va)];
*pl3entry = &(vp3->l3[VP_IDX3(va)]);
vp3->vp[VP_IDX3(va)] = pted;
if (vp3->vp[VP_IDX3(va)] == NULL) {
vp3->vp[VP_IDX3(va)] = pted;
*pl3entry = &(vp3->l3[VP_IDX3(va)]);
*pl3entry = &(vp3->l3[VP_IDX3(va)]);
vp3->l3[VP_IDX3(va)] = 0;
cpu_dcache_wb_range((vaddr_t)&vp3->l3[VP_IDX3(va)],
sizeof(vp3->l3[VP_IDX3(va)]));
vp3->l3[VP_IDX3(pted->pted_va)] = 0;
vp3->vp[VP_IDX3(pted->pted_va)] = NULL;
pted = vp3->vp[VP_IDX3(va)];
pted, vp3->l3[VP_IDX3(va)], VP_IDX3(va)*8);
pted = vp3->vp[VP_IDX3(va)];
*pl3entry = &(vp3->l3[VP_IDX3(va)]);
vp3->vp[VP_IDX3(va)] = pted;
if (vp3->vp[VP_IDX3(va)] == NULL) {
vp3->vp[VP_IDX3(va)] = pted;