taglinefilesource code
vpage812arch/sparc/mm/sun4c.cunsigned long vpage;
vpage832arch/sparc/mm/sun4c.cvpage = ((unsigned long) vaddr) & PAGE_MASK;
vpage834arch/sparc/mm/sun4c.cpte = ((vpage-PAGE_OFFSET) >> PAGE_SHIFT);
vpage839arch/sparc/mm/sun4c.csun4c_flush_page(vpage);
vpage841arch/sparc/mm/sun4c.cvpage += PAGE_SIZE;
vpage854arch/sparc/mm/sun4c.cunsigned long vpage, npages;
vpage856arch/sparc/mm/sun4c.cvpage = (unsigned long)vaddr & PAGE_MASK;
vpage861arch/sparc/mm/sun4c.csun4c_put_pte(vpage, 0);
vpage862arch/sparc/mm/sun4c.cclear_bit((vpage - sun4c_iobuffer_start) >> PAGE_SHIFT,
vpage864arch/sparc/mm/sun4c.cvpage += PAGE_SIZE;