1 /*- 2 * Copyright (c) 2000 Michael Smith 3 * Copyright (c) 2000 BSDi 4 * All rights reserved. 5 * 6 * Redistribution and use in source and binary forms, with or without 7 * modification, are permitted provided that the following conditions 8 * are met: 9 * 1. Redistributions of source code must retain the above copyright 10 * notice, this list of conditions and the following disclaimer. 11 * 2. Redistributions in binary form must reproduce the above copyright 12 * notice, this list of conditions and the following disclaimer in the 13 * documentation and/or other materials provided with the distribution. 14 * 15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 19 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 20 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 21 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 22 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 23 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 25 * SUCH DAMAGE. 26 * 27 * $FreeBSD$ 28 */ 29 30 /* 31 * 6.8 : Debugging support 32 */ 33 34 #include "opt_ddb.h" 35 #include <sys/param.h> 36 #include <sys/kernel.h> 37 #include <sys/bus.h> 38 #include <machine/bus.h> 39 #include <ddb/ddb.h> 40 #include <ddb/db_output.h> 41 42 #include "acpi.h" 43 #include "acdebug.h" 44 #include <dev/acpica/acpivar.h> 45 46 UINT32 47 AcpiOsGetLine(char *Buffer) 48 { 49 #ifdef DDB 50 char *cp; 51 52 db_readline(Buffer, 80); 53 for (cp = Buffer; *cp != 0; cp++) 54 if (*cp == '\n') 55 *cp = 0; 56 return (AE_OK); 57 #else 58 printf("AcpiOsGetLine called but no input support"); 59 return (AE_NOT_EXIST); 60 #endif /* DDB */ 61 } 62 63 void 64 AcpiOsDbgAssert(void *FailedAssertion, void *FileName, UINT32 LineNumber, 65 char *Message) 66 { 67 printf("ACPI: %s:%d - %s\n", (char *)FileName, LineNumber, Message); 68 printf("ACPI: assertion %s\n", (char *)FailedAssertion); 69 } 70 71 ACPI_STATUS 72 AcpiOsSignal(UINT32 Function, void *Info) 73 { 74 ACPI_SIGNAL_FATAL_INFO *fatal; 75 char *message; 76 77 switch (Function) { 78 case ACPI_SIGNAL_FATAL: 79 fatal = (ACPI_SIGNAL_FATAL_INFO *)Info; 80 printf("ACPI fatal signal, type 0x%x code 0x%x argument 0x%x", 81 fatal->Type, fatal->Code, fatal->Argument); 82 Debugger("AcpiOsSignal"); 83 break; 84 85 case ACPI_SIGNAL_BREAKPOINT: 86 message = (char *)Info; 87 Debugger(message); 88 break; 89 90 default: 91 return (AE_BAD_PARAMETER); 92 } 93 94 return (AE_OK); 95 } 96 97 #ifdef ACPI_DEBUGGER 98 void 99 acpi_EnterDebugger(void) 100 { 101 ACPI_PARSE_OBJECT obj; 102 static int initted = 0; 103 104 if (!initted) { 105 printf("Initialising ACPICA debugger...\n"); 106 AcpiDbInitialize(); 107 initted = 1; 108 } 109 110 printf("Entering ACPICA debugger...\n"); 111 AcpiDbUserCommands('A', &obj); 112 } 113 #endif /* ACPI_DEBUGGER */ 114