taglinefilesource code
sun4c_flush_page336arch/sparc/mm/sun4c.csun4c_flush_page(addr);
sun4c_flush_page533arch/sparc/mm/sun4c.csun4c_flush_page(virt_addr);
sun4c_flush_page584arch/sparc/mm/sun4c.csun4c_flush_page(first_page);
sun4c_flush_page789arch/sparc/mm/sun4c.csun4c_flush_page((unsigned int) &start);