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

#ifndef _CLINT_H_
#define _CLINT_H_

#include <SupportDefs.h>


// core local interruptor
struct ClintRegs
{
	uint32 msip    [4096]; // machine software interrupt pending, per CPU core
	uint64 mtimecmp[4095]; // per CPU core
	uint64 mtime;          // @0xBFF8
};

extern ClintRegs* volatile gClintRegs;


#endif	// _CLINT_H_