// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (C) 2026 Richard QIn
 */

#pragma once
#include "common/types.h"

namespace PLIC
{
    // Global initialization (executed only once by hart 0)
    void init();

    // Per-core initialization (executed when each CPU starts)
    void inithart();

    // Claim interrupt: Get the currently occurring interrupt number (IRQ)
    int claim();

    // End of interrupt: notify the PLIC that this IRQ has been handled
    void complete(int irq);
} // namespace PILC