1 /*-
2 * Copyright (c) 2000,2001 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
28 #include <sys/cdefs.h>
29 __FBSDID("$FreeBSD: releng/6.0/sys/ia64/acpica/OsdEnvironment.c 135453 2004-09-19 03:50:46Z marcel $");
30
31 #include <sys/types.h>
32 #include <sys/linker_set.h>
33 #include <sys/sysctl.h>
34 #include <machine/efi.h>
35
36 #include "acpi.h"
37
38 static struct uuid acpi_root_uuid = EFI_TABLE_ACPI20;
39
40 static u_long acpi_root_phys;
41
42 SYSCTL_ULONG(_machdep, OID_AUTO, acpi_root, CTLFLAG_RD, &acpi_root_phys, 0,
43 "The physical address of the RSDP");
44
45 ACPI_STATUS
46 AcpiOsInitialize(void)
47 {
48
49 return(AE_OK);
50 }
51
52 ACPI_STATUS
53 AcpiOsTerminate(void)
54 {
55
56 return(AE_OK);
57 }
58
59 ACPI_STATUS
60 AcpiOsGetRootPointer(UINT32 Flags, ACPI_POINTER *RsdpAddress)
61 {
62 void *acpi_root;
63
64 if (acpi_root_phys == 0) {
65 acpi_root = efi_get_table(&acpi_root_uuid);
66 if (acpi_root == NULL)
67 return (AE_NOT_FOUND);
68 acpi_root_phys = IA64_RR_MASK((u_long)acpi_root);
69 }
70
71 RsdpAddress->PointerType = ACPI_PHYSICAL_POINTER;
72 RsdpAddress->Pointer.Physical = acpi_root_phys;
73 return (AE_OK);
74 }
Cache object: 30a36050291c40fa5c724223aa8e3edf
|