__db_cachedump_sh4
cachedump_p2 = SH3_P2SEG_FUNC(__db_cachedump_sh4);
static __noinline void __db_cachedump_sh4(vaddr_t);