path: root/kernel/cpu/spinlock.c

#include <stdint.h>
uint8_t locked;