#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