softirq.h

#ifndef SOFTIRQ_H
#define SOFTIRQ_H
void softirq_init();
int softirq_timer(uint32_t hertz, uint32_t opaque, void (*callback)(uint32_t));
void print_softirqs();
// remove all softirqs (called by userapp_disable);
void softirqs_removeall();
#endif