tag	line	file	source code
device_not_available	51	kernel/traps.c	asmlinkage void device_not_available(void);
device_not_available	247	kernel/traps.c	set_trap_gate(7,&device_not_available);