void pe_init_debug(void)
{
- if (!PE_parse_boot_arg("debug", &DEBUGFlag))
+ if (!PE_parse_boot_argn("debug", &DEBUGFlag, sizeof (DEBUGFlag)))
DEBUGFlag = 0;
}
-void PE_enter_debugger(char *cause)
+void PE_enter_debugger(const char *cause)
{
if (DEBUGFlag & DB_NMI)
Debugger(cause);