efi_acpi.c File Reference

iPXE ACPI API for EFI More...

#include <ipxe/acpi.h>
#include <ipxe/efi/efi.h>
#include <ipxe/efi/Guid/Acpi.h>
#include <ipxe/efi/efi_acpi.h>

Go to the source code of this file.

Functions
	FILE_LICENCE (GPL2_OR_LATER_OR_UBDL)
	EFI_USE_TABLE (ACPI_10_TABLE, &rsdp, 0)
static userptr_t	efi_find_rsdt (void)
	Locate ACPI root system description table. More...
	PROVIDE_ACPI (efi, acpi_find_rsdt, efi_find_rsdt)
	PROVIDE_ACPI_INLINE (efi, acpi_find)

Variables
static EFI_ACPI_1_0_ROOT_SYSTEM_DESCRIPTION_POINTER *	rsdp
	ACPI configuration table. More...

Detailed Description

iPXE ACPI API for EFI

Definition in file efi_acpi.c.

Function Documentation

FILE_LICENCE()

FILE_LICENCE

(

GPL2_OR_LATER_OR_UBDL

)

EFI_USE_TABLE()

EFI_USE_TABLE	(	ACPI_10_TABLE	,
		&	rsdp,
		0
	)

efi_find_rsdt()

static userptr_t efi_find_rsdt ( void  )

static

Locate ACPI root system description table.

Return values

rsdt	ACPI root system description table, or UNULL

Definition at line 47 of file efi_acpi.c.

                                        {

        /* Locate RSDT via ACPI configuration table, if available */
        if ( rsdp )
                return phys_to_user ( rsdp->RsdtAddress );

        return UNULL;
}

References phys_to_user(), rsdp, EFI_ACPI_1_0_ROOT_SYSTEM_DESCRIPTION_POINTER::RsdtAddress, and UNULL.

PROVIDE_ACPI()

PROVIDE_ACPI	(	efi	,
		acpi_find_rsdt	,
		efi_find_rsdt
	)

PROVIDE_ACPI_INLINE()

PROVIDE_ACPI_INLINE	(	efi	,
		acpi_find
	)

Variable Documentation

rsdp

EFI_ACPI_1_0_ROOT_SYSTEM_DESCRIPTION_POINTER* rsdp

static

ACPI configuration table.

Definition at line 39 of file efi_acpi.c.

Referenced by efi_find_rsdt(), and rsdp_find_rsdt_range().