sparc64_ipi_flush_pte_us
smp_tlb_flush_pte_func = sparc64_ipi_flush_pte_us;
void sparc64_ipi_flush_pte_us(void *, void *);