NMI_ACTION_KMDB
if (action == NMI_ACTION_KMDB && !psm_debugger())
action = NMI_ACTION_KMDB;
case NMI_ACTION_KMDB:
nmi_action = NMI_ACTION_KMDB;