1258 MS_U32 NDS_RASP_SetRecordTimeStamp(MS_U32 u32RASPEng, MS_U32 u32Stamp)  in NDS_RASP_SetRecordTimeStamp()  argument
1260     DRVRASP_DBG(RASP_DBGLV_INFO, "RaspEng = %x, u32Stamp = %x\n",u32RASPEng, u32Stamp);  in NDS_RASP_SetRecordTimeStamp()
1265     HAL_NDSRASP_SetPVRTimeStamp(u32RASPEng, u32Stamp);  in NDS_RASP_SetRecordTimeStamp()
1270 MS_U32 NDS_RASP_GetRecordTimeStamp(MS_U32 u32RASPEng, MS_U32* u32Stamp)  in NDS_RASP_GetRecordTimeStamp()  argument
1273     *u32Stamp = HAL_NDSRASP_GetPVRTimeStamp(u32RASPEng);  in NDS_RASP_GetRecordTimeStamp()
1277 MS_U32 NDS_RASP_SetECMTimeStamp(MS_U32 u32RASPEng, MS_U32 u32Stamp)  in NDS_RASP_SetECMTimeStamp()  argument
1279     DRVRASP_DBG(RASP_DBGLV_INFO, "RaspEng = %x, u32Stamp = %x\n",u32RASPEng, u32Stamp);  in NDS_RASP_SetECMTimeStamp()
1284     HAL_NDSRASP_SetECMTimeStamp(u32RASPEng, u32Stamp);  in NDS_RASP_SetECMTimeStamp()
1289 MS_U32 NDS_RASP_GetECMTimeStamp(MS_U32 u32RASPEng, MS_U32* u32Stamp)  in NDS_RASP_GetECMTimeStamp()  argument
1292     *u32Stamp = HAL_NDSRASP_GetECMTimeStamp(u32RASPEng);  in NDS_RASP_GetECMTimeStamp()
1830 MS_U32 NDS_RASP_FileIn_SetPlaybackTimeStamp (MS_U32 u32RASPEng, MS_U32 u32Stamp)  in NDS_RASP_FileIn_SetPlaybackTimeStamp()  argument
1837 	HAL_RASP_FileIn_SetPlaybackTimeStamp(u32RASPEng, u32Stamp);  in NDS_RASP_FileIn_SetPlaybackTimeStamp()