#ifndef ARCH_ARM_SOC_H
#define ARCH_ARM_SOC_H

class InterruptController;

#include <arch/smp.h>
#include <drivers/bus/FDT.h>
#include <private/kernel/interrupts.h>
#include <private/kernel/timer.h>

// ------------------------------------------------------ InterruptController

class InterruptController {
public:
        virtual void EnableInterrupt(int32 irq) = 0;
        virtual void DisableInterrupt(int32 irq) = 0;

        virtual void HandleInterrupt() = 0;

        virtual void SendMulticastIci(CPUSet& cpuSet) {
                panic("SendMulticastIci unimplemented");
        }

        virtual void SendBroadcastIci() {
                panic("SendBroadcastIci unimplemented");
        }

        static InterruptController* Get() {
                return sInstance;
        }

protected:
        InterruptController()
        {
                if (sInstance) {
                        panic("Multiple InterruptController objects created; that is currently unsupported!");
                }
                sInstance = this;
        }

        static InterruptController *sInstance;
};


// ------------------------------------------------------ HardwareTimer

class HardwareTimer {
public:
        virtual void SetTimeout(bigtime_t timeout) = 0;
        virtual bigtime_t Time() = 0;
        virtual void Clear() = 0;

        static HardwareTimer* Get() {
                return sInstance;
        }

protected:
        HardwareTimer()
        {
                if (sInstance) {
                        panic("Multiple HardwareTimer objects created; that is currently unsupported!");
                }
                sInstance = this;
        }

        static HardwareTimer *sInstance;
};

#endif // ARCH_ARM_SOC_H