rem: u32 ret;
add: s32 ret;
context: s32 SDCARD_Reset(s32 chn){	u32 ret;	sdcard_block *card = NULL;	if(chn<EXI_CHANNEL_0 || chn>=EXI_CHANNEL_2) return SDCARD_ERROR_NOCARD;	card = &sdcard_map[chn];#ifdef _SDCARD_DEBUG	printf("SDCARD_Reset(%d)\n",chn);#endif	sdcard_freq = EXI_SPEED16MHZ;	wp_flag = 0;	if(__sdcard_softreset(chn)!=0) {		wp_flag = 1;		if(__sdcard_softreset(chn)!=0) return -1;	}	if(__sdcard_sendopcond(chn)!=0) return -1;	if(__sdcard_sendcsd(chn)!=0) return -1;	if(__sdcard_sendcid(chn)!=0) return -1;//#ifdef _SDCARD_DEBUG	__print_csdregister(chn);	__print_cidregister(chn);//#endif	card->sector_size = 512;	ret = __sdcard_setblocklen(chn,card->sector_size);	ret = __sdcard_sd_status(chn);	return ret;}