OsdEnvironment.c revision 119531
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 * $FreeBSD: head/sys/ia64/acpica/OsdEnvironment.c 119531 2003-08-28 16:30:31Z njl $ 28 */ 29 30/* 31 * 6.1 : Environmental support 32 */ 33#include <sys/types.h> 34#include <sys/linker_set.h> 35#include <sys/sysctl.h> 36 37#include "acpi.h" 38 39extern u_int64_t ia64_efi_acpi_table; 40extern u_int64_t ia64_efi_acpi20_table; 41 42u_long ia64_acpi_root; 43 44SYSCTL_ULONG(_machdep, OID_AUTO, acpi_root, CTLFLAG_RD, &ia64_acpi_root, 0, 45 "The physical address of the RSDP"); 46 47ACPI_STATUS 48AcpiOsInitialize(void) 49{ 50 return(NULL); 51} 52 53ACPI_STATUS 54AcpiOsTerminate(void) 55{ 56 return(NULL); 57} 58 59ACPI_STATUS 60AcpiOsGetRootPointer(UINT32 Flags, ACPI_POINTER *RsdpAddress) 61{ 62 if (ia64_acpi_root == 0) { 63 if (ia64_efi_acpi20_table) { 64 /* XXX put under bootverbose. */ 65 printf("Using ACPI2.0 table at 0x%lx\n", 66 ia64_efi_acpi20_table); 67 ia64_acpi_root = ia64_efi_acpi20_table; 68 } else if (ia64_efi_acpi_table) { 69 /* XXX put under bootverbose. */ 70 printf("Using ACPI1.x table at 0x%lx\n", 71 ia64_efi_acpi_table); 72 ia64_acpi_root = ia64_efi_acpi_table; 73 } else 74 return (AE_NOT_FOUND); 75 } 76 77 RsdpAddress->PointerType = ACPI_PHYSICAL_POINTER; 78 RsdpAddress->Pointer.Physical = ia64_acpi_root; 79 return (AE_OK); 80} 81