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 222544 2011-05-31 19:45:58Z 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
50ACPI_STATUS
51AcpiOsGetLine(char *Buffer, UINT32 BufferLength, UINT32 *BytesRead)
52{
53#ifdef DDB
54 char *cp;
55
56 cp = Buffer;
57 if (db_readline(Buffer, BufferLength) > 0)
58 while (*cp != '\0' && *cp != '\n' && *cp != '\r')
59 cp++;
60 *cp = '\0';
61 if (BytesRead != NULL)
62 *BytesRead = cp - Buffer;
63 return (AE_OK);
64#else
65 printf("AcpiOsGetLine called but no input support");
66 return (AE_NOT_EXIST);
67#endif /* DDB */
68}
69
70ACPI_STATUS
71AcpiOsSignal(UINT32 Function, void *Info)
72{
73 ACPI_SIGNAL_FATAL_INFO *fatal;
74

--- 40 unchanged lines hidden ---