#ifndef _LIBC_H
#include <libc.h>
#endif
// Temporary fix
#include <ke/spinlock.h>
typedef Spinlock_t Lock_t;
#define ExInitLock KeInitSpinlock
#define ExAcquireLock KeAcquireSpinlock
#define ExReleaseLock KeReleaseSpinlock