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