psb_mmu_flush_pd_locked
psb_mmu_flush_pd_locked(pd->driver, 1);
psb_mmu_flush_pd_locked(driver, 1);
psb_mmu_flush_pd_locked(driver, force);