IMG_VOID
LinuxBridgeDeInit(IMG_VOID)
{
#if defined(DEBUG_BRIDGE_KM)
	PVRDebugFSRemoveEntry(gpsPVRDebugFSBridgeStatsEntry);
	gpsPVRDebugFSBridgeStatsEntry = NULL;
#endif
}
void PVRGpuTraceDeInit(void)
{
    /* Can be NULL if driver startup failed */
    if (gpsPVRDebugFSGpuTracingOnEntry)
    {
        PVRDebugFSRemoveEntry(gpsPVRDebugFSGpuTracingOnEntry);
        gpsPVRDebugFSGpuTracingOnEntry = NULL;
    }
}