void _gwmDeinit(void) { gfxMutexDestroy(&gmutex); }
void _gtimerDeinit(void) { gfxSemDestroy(&waitsem); gfxMutexDestroy(&mutex); // Need to destroy GTimer thread here }
void _geventDeinit(void) { gfxMutexDestroy(&geventMutex); }