/* void si_swdenable_hook(uint32 r0, uint32 r1) { printf("%s %08x %08x\n",  */
void si_kattach_hook(uint32 r0, uint32 r1)
/* void si_swdenable_hook(uint32 r0, uint32 r1) { printf("%s %08x %08x\n",  */
void si_kattach_hook(uint32 r0, uint32 r1)
{
	printf("%s %08x %08x\n", __FUNCTION__, r0, r1);
}