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:535
static uint16_t target
Definition syscalls.h:334
static uint32_t uint32_t void(* handler)())
Definition syscalls.h:371
static uint16_t uint16_t flags
Definition syscalls.h:334
void uint32_t(classId, spec)