bundletype SoftInt_T =

{ include "${BUILDDIR}/oskit/machine/base_irq.h" base_irq_softint_handler }

C types:

extern void (*base_irq_softint_handler)(struct trap_state *ts);