#ifndef _KERNEL_SYS_SPIN_LOCK_H #define _KERNEL_SYS_SPIN_LOCK_H #include void spin_lock_relax (void); void spin_lock_save_flags (uint64_t* flags); void spin_lock_restore_flags (uint64_t flags); #endif // _KERNEL_SYS_SPIN_LOCK_H