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