/*
 * Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#pragma once

#include <AK/Noncopyable.h>
#include <AK/Types.h>
#include <Kernel/Locking/LockRank.h>

namespace Kernel {

class Spinlock {
    AK_MAKE_NONCOPYABLE(Spinlock);
    AK_MAKE_NONMOVABLE(Spinlock);

public:
    Spinlock(LockRank rank = LockRank::None)
    {
        (void)rank;
    }

    ALWAYS_INLINE u32 lock()
    {
        VERIFY_NOT_REACHED();
        return 0;
    }

    ALWAYS_INLINE void unlock(u32 /*prev_flags*/)
    {
        VERIFY_NOT_REACHED();
    }

    [[nodiscard]] ALWAYS_INLINE bool is_locked() const
    {
        VERIFY_NOT_REACHED();
        return false;
    }

    ALWAYS_INLINE void initialize()
    {
        VERIFY_NOT_REACHED();
    }
};

class RecursiveSpinlock {
    AK_MAKE_NONCOPYABLE(RecursiveSpinlock);
    AK_MAKE_NONMOVABLE(RecursiveSpinlock);

public:
    RecursiveSpinlock(LockRank rank = LockRank::None)
    {
        (void)rank;
        VERIFY_NOT_REACHED();
    }

    ALWAYS_INLINE u32 lock()
    {
        VERIFY_NOT_REACHED();
        return 0;
    }

    ALWAYS_INLINE void unlock(u32 /*prev_flags*/)
    {
        VERIFY_NOT_REACHED();
    }

    [[nodiscard]] ALWAYS_INLINE bool is_locked() const
    {
        VERIFY_NOT_REACHED();
        return false;
    }

    [[nodiscard]] ALWAYS_INLINE bool is_locked_by_current_processor() const
    {
        VERIFY_NOT_REACHED();
        return false;
    }

    ALWAYS_INLINE void initialize()
    {
        VERIFY_NOT_REACHED();
    }
};

}