/*
 * Copyright 2021, Haiku, Inc.
 * Distributed under the terms of the MIT License.
 */

#ifndef _PLIC_H_
#define _PLIC_H_

#include <SupportDefs.h>


// platform-level interrupt controller
struct PlicRegs
{
        // context = hart * 2 + mode, mode: 0 - machine, 1 - supervisor
        uint32 priority[1024];           // 0x000000
        uint32 pending[1024 / 32];       // 0x001000, bitfield
        uint8  unused1[0x2000 - 0x1080];
        uint32 enable[15872][1024 / 32]; // 0x002000, bitfield, [context][enable]
        uint8  unused2[0xe000];
        struct {
                uint32 priorityThreshold;
                uint32 claimAndComplete;
                uint8  unused[0xff8];
        } contexts[15872];               // 0x200000
};

extern PlicRegs* volatile gPlicRegs;


#endif  // _PLIC_H_