taglinefilesource code
invalid_op48kernel/traps.cvoid invalid_op(void);
invalid_op191kernel/traps.cset_trap_gate(6,&invalid_op);