void qemu_mutex_destroy(QemuMutex *mutex)

{

    assert(mutex->owner == 0);

    DeleteCriticalSection(&mutex->lock);

}

void qemu_mutex_destroy(QemuMutex *mutex)

{

    assert(mutex->owner == 0);

    DeleteCriticalSection(&mutex->lock);

}

    assert(mutex->owner == 0);     DeleteCriticalSection(&mutex->lock);     assert(mutex->owner == 0);
void FUNC_0(QemuMutex *VAR_0)

{

    assert(VAR_0->owner == 0);

    DeleteCriticalSection(&VAR_0->lock);

}

void FUNC_0(QemuMutex *VAR_0)
{ assert(VAR_0->owner == 0); DeleteCriticalSection(&VAR_0->lock); }