void (LockReleaseGlobal)(void) { LockReleaseMPM(globalLock); }
void LockReleaseGlobal(void) { LockReleaseMPM(globalLock); }
void LockReleaseGlobal(void) { AVER(globalLockInit); LockReleaseMPM(globalLock); }
void (LockReleaseGlobal)(void) { LockReleaseMPM(globalLock); }
void LockReleaseGlobal(void) { LockReleaseMPM(globalLock); }
void LockReleaseGlobal(void) { AVER(globalLockInit); LockReleaseMPM(globalLock); }