Symbol: INTRIDBUF
sys/sys/interrupt.h
36
typedef char intrid_t[INTRIDBUF];
sys/sys/intr.h
35
#define INTRIDBUF 64