X86_TRAP_NM
case X86_TRAP_NM: return exc_device_not_available(regs);
DECLARE_IDTENTRY(X86_TRAP_NM, exc_device_not_available);
INTG(X86_TRAP_NM, asm_exc_device_not_available),