bundletype Gate_T =

{ include "${BUILDDIR}/oskit/machine/gate_init.h" gate_init }

C types:

void gate_init(struct x86_gate *dest,const struct gate_init_entry *src,unsigned entry_cs);