kgdb_nmi
parameters