44 #ifndef __DEV_ARM_BASE_GIC_H__
45 #define __DEV_ARM_BASE_GIC_H__
69 virtual void sendInt(uint32_t num) = 0;
77 virtual void sendPPInt(uint32_t num, uint32_t cpu) = 0;
78 virtual void clearPPInt(uint32_t num, uint32_t cpu) = 0;
88 virtual void clearInt(uint32_t num) = 0;
virtual uint32_t readCpu(ContextID ctx, Addr daddr)=0
Platform * platform
Platform this GIC belongs to.
virtual uint32_t readDistributor(ContextID ctx, Addr daddr)=0
virtual void clearInt(uint32_t num)=0
Clear an interrupt from a device that is connected to the GIC.
virtual void sendPPInt(uint32_t num, uint32_t cpu)=0
Interface call for private peripheral interrupts.
virtual void sendInt(uint32_t num)=0
Post an interrupt from a device that is connected to the GIC.
This device is the base class which all devices senstive to an address range inherit from...
uint64_t Addr
Address type This will probably be moved somewhere else in the near future.
struct BaseGicParams Params
virtual void writeDistributor(ContextID ctx, Addr daddr, uint32_t data)=0
virtual void writeCpu(ContextID ctx, Addr daddr, uint32_t data)=0
const Params * params() const
int ContextID
Globally unique thread context ID.
virtual void clearPPInt(uint32_t num, uint32_t cpu)=0