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