|
@@ -355,12 +355,12 @@ void acpi_os_redirect_output(void *destination);
|
|
|
acpi_status acpi_os_get_line(char *buffer, u32 buffer_length, u32 *bytes_read);
|
|
|
#endif
|
|
|
|
|
|
-#ifndef ACPI_USE_ALTERNATE_PROTOTYPE_acpi_os_initialize_command_signals
|
|
|
-acpi_status acpi_os_initialize_command_signals(void);
|
|
|
+#ifndef ACPI_USE_ALTERNATE_PROTOTYPE_acpi_os_initialize_debugger
|
|
|
+acpi_status acpi_os_initialize_debugger(void);
|
|
|
#endif
|
|
|
|
|
|
-#ifndef ACPI_USE_ALTERNATE_PROTOTYPE_acpi_os_terminate_command_signals
|
|
|
-void acpi_os_terminate_command_signals(void);
|
|
|
+#ifndef ACPI_USE_ALTERNATE_PROTOTYPE_acpi_os_terminate_debugger
|
|
|
+void acpi_os_terminate_debugger(void);
|
|
|
#endif
|
|
|
|
|
|
#ifndef ACPI_USE_ALTERNATE_PROTOTYPE_acpi_os_wait_command_ready
|