int enableTimerIRQ(uint32_t timer)
int enqueueSyscallHandler(int priority)
struct HandlerInfo * sysDeqIntRP(int priority, struct HandlerInfo *handler)
int restartTimer(uint32_t timer)
void setIrqAutoAck(uint32_t irq, int value)
int setTimerAutoAck(uint32_t timer, int value)
int getTimer(uint32_t timer)
int initTimer(uint32_t timer, uint16_t target, uint16_t flags)
int disableTimerIRQ(uint32_t timer)
int enqueueRCntIrqs(int priority)
int enqueueIrqHandler(int priority)
int sysEnqIntRP(int priority, struct HandlerInfo *handler)
static int value
Definition syscalls.h:534
static uint16_t target
Definition syscalls.h:333
static uint32_t uint32_t void(* handler)())
Definition syscalls.h:370
static uint16_t uint16_t flags
Definition syscalls.h:333
void uint32_t(classId, spec)