taglinefilesource code
device_not_available49kernel/traps.cvoid device_not_available(void);
device_not_available192kernel/traps.cset_trap_gate(7,&device_not_available);