gate_desc
{ "gate_desc", ":", "dump a gate descriptor", gate_desc },
struct gate_desc;
extern void kdi_idt_write(struct gate_desc *, uint_t);