taglinefilesource code
device_not_available62kernel/traps.casmlinkage void device_not_available(void);
device_not_available102kernel/traps.cDO_ERROR( 7, SIGSEGV, "device not available", device_not_available, current)
device_not_available191kernel/traps.cset_trap_gate(7,&device_not_available);