mmu_booke_unmapdev
static void mmu_booke_unmapdev(void *, vm_size_t);
.unmapdev = mmu_booke_unmapdev,