pitlb
pitlb(HPPA_SID_KERNEL, pa);
pitlb(pve->pv_pmap->pm_space, pve->pv_va);
pitlb(pmap->pm_space, va);