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