__db_get_utlb_sh4
get_utlb_p2 = SH3_P2SEG_FUNC(__db_get_utlb_sh4);
__db_get_utlb_sh4(uint32_t, uint32_t *, uint32_t *, uint32_t *);