mmu_get_tsize
mmu_get_tsize(mmu_virtual_psize), 0);
__local_flush_tlb_page(mm, vmaddr, mmu_get_tsize(psize), 0);