WDCC_READ
if ((error = wdc_exec_read(wd, WDCC_READ, blkno, buf)) != 0)
if ((error = wdc_exec_read(wd, WDCC_READ, blkno, buf)) != 0)
if ((error = wdc_exec_read(wd, WDCC_READ, blkno, buf)) != 0)
WDCC_READ : WDCC_WRITE;
case WDCC_READ:
case WDCC_READ:
WDCC_READ : WDCC_WRITE;