mmu_booke_deactivate
static void mmu_booke_deactivate(struct thread *);
.deactivate = mmu_booke_deactivate,