spinlock.c

Go to the documentation of this file.

/*
 * SPDX-License-Identifier: GPL-3.0-only
 * This file is part of Lazuli.
 */
 
#include <Lazuli/common.h>
#include <Lazuli/config.h>
#include <Lazuli/spinlock.h>
 
#include <Lazuli/sys/kernel.h>
 
void
Lz_Spinlock_Unlock(Lz_Spinlock * const spinlock)
{
  if (LZ_CONFIG_CHECK_NULL_PARAMETERS_IN_SPINLOCKS) {
    if (NULL == spinlock) {
      Kernel_ManageFailure();
    }
  }
 
  *spinlock = LZ_SPINLOCK_INIT;
}