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:

--- 16 unchanged lines hidden (view full) ---

25 * SUCH DAMAGE.
26 */
27
28/*
29 * 6.8 : Debugging support
30 */
31
32#include <sys/cdefs.h>
33__FBSDID("$FreeBSD: head/sys/dev/acpica/Osd/OsdDebug.c 193530 2009-06-05 18:44:36Z jkim $");
34
35#include "opt_ddb.h"
36#include <sys/param.h>
37#include <sys/kdb.h>
38#include <sys/kernel.h>
39#include <sys/bus.h>
40#include <machine/bus.h>
41#include <ddb/ddb.h>
42#include <ddb/db_output.h>
43
44#include <contrib/dev/acpica/include/acpi.h>
45#include <contrib/dev/acpica/include/accommon.h>
46#include <contrib/dev/acpica/include/acdebug.h>
47
48#include <dev/acpica/acpivar.h>
49
50UINT32
51AcpiOsGetLine(char *Buffer)
52{
53#ifdef DDB
54 char *cp;
55
56 db_readline(Buffer, 80);
57 for (cp = Buffer; *cp != 0; cp++)
58 if (*cp == '\n')
59 *cp = 0;
60 return (AE_OK);
61#else
62 printf("AcpiOsGetLine called but no input support");
63 return (AE_NOT_EXIST);
64#endif /* DDB */
65}
66
67ACPI_STATUS
68AcpiOsSignal(UINT32 Function, void *Info)
69{
70 ACPI_SIGNAL_FATAL_INFO *fatal;
71

--- 40 unchanged lines hidden ---