#ifndef _PEXPERT_ARM_AIC_H
#define _PEXPERT_ARM_AIC_H
#ifndef ASSEMBLER
#include <stdint.h>
static inline uint32_t
_aic_read32(uintptr_t addr)
{
return *(volatile uint32_t *)addr;
}
static inline void
_aic_write32(uintptr_t addr, uint32_t data)
{
*(volatile uint32_t *)(addr) = data;
}
#define aic_read32(offset, data) (_aic_read32(pic_base + (offset)))
#define aic_write32(offset, data) (_aic_write32(pic_base + (offset), (data)))
#endif
#define kAICMainTimLo (0x20)
#define kAICMainTimHi (0x28)
#endif