MACHINE_KDEBUG_TRAP_FALLBACK
#ifdef MACHINE_KDEBUG_TRAP_FALLBACK
MACHINE_KDEBUG_TRAP_FALLBACK(type, tf);