__db_tlbdump_page_size_sh4
__db_tlbdump_page_size_sh4(da1);
static void __db_tlbdump_page_size_sh4(uint32_t);