sp_tlb_flush_pte_us
void (*sp_tlb_flush_pte)(vaddr_t, int) = sp_tlb_flush_pte_us;
void sp_tlb_flush_pte_us(vaddr_t, int);