/***************************************************************************** FUNCTION : DbgSetMarker PURPOSE : Sets the marker of the stream to split output files PARAMETERS : psStream - Stream pointer ui32Marker - Marker number to set RETURNS : None *****************************************************************************/ static IMG_VOID DbgSetMarker(PDBG_STREAM psStream, IMG_UINT32 ui32Marker) { gpfnDbgDrv->pfnSetMarker(psStream, ui32Marker); }