psb_mmu_pt_index
pt->v[psb_mmu_pt_index(addr)] = pte;
pt->v[psb_mmu_pt_index(addr)] = pt->pd->invalid_pte;
psb_clflush(&pt->v[psb_mmu_pt_index(addr)]);