tag	line	file	source code
device_not_available	50	kernel/traps.c	void device_not_available(void);
device_not_available	192	kernel/traps.c	set_trap_gate(7,&device_not_available);