SH3_P1SEG_TO_PHYS
pteoffset = SH3_P1SEG_TO_PHYS(l2va) +
*pa = SH3_P1SEG_TO_PHYS(va);
paddr = SH3_P1SEG_TO_PHYS(vaddr);
kernend = atop(round_page(SH3_P1SEG_TO_PHYS(kernend)));
h->kcore_kptp = SH3_P1SEG_TO_PHYS((vaddr_t)pmap_kernel()->pm_ptp);
paddr_t pa = SH3_P1SEG_TO_PHYS(va);
uvm_pagefree(PHYS_TO_VM_PAGE(SH3_P1SEG_TO_PHYS(va)));
uvm_pagefree(PHYS_TO_VM_PAGE(SH3_P1SEG_TO_PHYS((vaddr_t)pmap->pm_ptp)));
uvm_pagefree(PHYS_TO_VM_PAGE(SH3_P1SEG_TO_PHYS(va)));