sh4_tlb_update
#define sh_tlb_update(a, va, pte) sh4_tlb_update(a, va, pte)
void sh4_tlb_update(int, vaddr_t, uint32_t);
__sh_tlb_update = sh4_tlb_update;