mmu_booke_kenter
mmu_booke_kenter(va, VM_PAGE_TO_PHYS(*m));
mmu_booke_kenter(va, pa_start);
static void mmu_booke_kenter(vm_offset_t, vm_paddr_t);
.kenter = mmu_booke_kenter,
mmu_booke_kenter(kstack0, kstack0_phys);
mmu_booke_kenter(va, VM_PAGE_TO_PHYS(m));
mmu_booke_kenter(va, VM_PAGE_TO_PHYS(m));
mmu_booke_kenter(sva, VM_PAGE_TO_PHYS(sm));
mmu_booke_kenter(dva, VM_PAGE_TO_PHYS(dm));
mmu_booke_kenter(copy_page_src_va,
mmu_booke_kenter(copy_page_dst_va,