/*-
* Copyright (c) 2001 Michael Smith <msmith@freebsd.org>
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
*
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*/
#include <stand.h>
#include <bootstrap.h>
#include <btxv86.h>
#include "libi386.h"
#include "platform/acfreebsd.h"
#include "acconfig.h"
#define ACPI_SYSTEM_XFACE
#include "actypes.h"
#include "actbl.h"
/*
* Detect ACPI and export information about the ACPI BIOS into the
* environment.
*/
static ACPI_TABLE_RSDP *biosacpi_find_rsdp(void);
void
biosacpi_detect(void)
{
int revision;
/* locate and validate the RSDP */
return;
/* export values from the RSDP */
if (revision == 0)
revision = 1;
if (revision >= 2) {
/* XXX extended checksum? */
(unsigned long long)rsdp->XsdtPhysicalAddress);
}
}
/*
* Find the RSDP in low memory. See section 5.2.2 of the ACPI spec.
*/
static ACPI_TABLE_RSDP *
biosacpi_find_rsdp(void)
{
/* EBDA is the 1 KB addressed by the 16 bit pointer at 0x40E. */
return (rsdp);
/* Check the upper memory BIOS space, 0xe0000 - 0xfffff. */
return (rsdp);
return (NULL);
}
static ACPI_TABLE_RSDP *
{
/* search on 16-byte boundaries */
/* compare signature, validate checksum */
sum = 0;
if (sum != 0)
continue;
return(rsdp);
}
}
return(NULL);
}