it's on a tqm850l with mpc850. i've done the following:
in update_mmu_cache:
if (!PageReserved(page)
&& !test_bit(PG_arch_1, &page->flags)) {
//
if (vma->vm_mm == current->active_mm){
//
_tlbie(address);
//
__flush_dcache_icache((void *) address);
//
} else
__flush_dcache_icache(page _address(page));