#ifndef _JOVE_x86_64_LOCK_H
#define _JOVE_x86_64_LOCK_H 1

#include <stdatomic.h>

void take_mutex(atomic_flag *lock);
int try_take_mutex(atomic_flag *lock);

void release_mutex(atomic_flag *lock);

#endif