static int gcry_requiem_mutex_destroy(void **lock) { return glthread_lock_destroy(*lock); }
static int gcry_prelude_mutex_destroy(void **lock) { return glthread_lock_destroy(*lock); }