}
 
 /****************************************************************************
-** DbgStopLoop
+** ced_dbg_stop_loop
 **
 ** Stop any never-ending debug loop, we just call ced_get_state for USB
 **
 ****************************************************************************/
-int DbgStopLoop(DEVICE_EXTENSION *pdx)
+int ced_dbg_stop_loop(DEVICE_EXTENSION *pdx)
 {
        int iReturn;
        unsigned int uState, uErr;
 
                return ced_dbg_get_data(pdx, (TDBGBLOCK __user *) ulArg);
 
        case _IOC_NR(IOCTL_CED_DBGSTOPLOOP):
-               return DbgStopLoop(pdx);
+               return ced_dbg_stop_loop(pdx);
 
        case _IOC_NR(IOCTL_CED_FULLRESET):
                pdx->bForceReset = true;        /*  Set a flag for a full reset */
 
 extern int ced_dbg_ramp_data(DEVICE_EXTENSION *pdx, TDBGBLOCK __user *pDB);
 extern int ced_dbg_ramp_addr(DEVICE_EXTENSION *pdx, TDBGBLOCK __user *pDB);
 extern int ced_dbg_get_data(DEVICE_EXTENSION *pdx, TDBGBLOCK __user *pDB);
-extern int DbgStopLoop(DEVICE_EXTENSION *pdx);
+extern int ced_dbg_stop_loop(DEVICE_EXTENSION *pdx);
 extern int SetCircular(DEVICE_EXTENSION *pdx, struct transfer_area_desc __user *pTD);
 extern int GetCircBlock(DEVICE_EXTENSION *pdx, TCIRCBLOCK __user *pCB);
 extern int FreeCircBlock(DEVICE_EXTENSION *pdx, TCIRCBLOCK __user *pCB);