mmu_booke_kextract
static vm_paddr_t mmu_booke_kextract(vm_offset_t);
.kextract = mmu_booke_kextract,