DBG_WCR_WVR_SET
case 0: DBG_WCR_WVR_SET(0, wcr, wvr); break;
case 1: DBG_WCR_WVR_SET(1, wcr, wvr); break;
case 2: DBG_WCR_WVR_SET(2, wcr, wvr); break;
case 3: DBG_WCR_WVR_SET(3, wcr, wvr); break;
case 4: DBG_WCR_WVR_SET(4, wcr, wvr); break;
case 5: DBG_WCR_WVR_SET(5, wcr, wvr); break;
case 6: DBG_WCR_WVR_SET(6, wcr, wvr); break;
case 7: DBG_WCR_WVR_SET(7, wcr, wvr); break;
case 8: DBG_WCR_WVR_SET(8, wcr, wvr); break;
case 9: DBG_WCR_WVR_SET(9, wcr, wvr); break;
case 10: DBG_WCR_WVR_SET(10, wcr, wvr); break;
case 11: DBG_WCR_WVR_SET(11, wcr, wvr); break;
case 12: DBG_WCR_WVR_SET(12, wcr, wvr); break;
case 13: DBG_WCR_WVR_SET(13, wcr, wvr); break;
case 14: DBG_WCR_WVR_SET(14, wcr, wvr); break;
case 15: DBG_WCR_WVR_SET(15, wcr, wvr); break;