iPXE
|
ACPI Root System Description Pointer. More...
#include <stdint.h>
#include <realmode.h>
#include <bios.h>
#include <ipxe/acpi.h>
#include <ipxe/rsdp.h>
Go to the source code of this file.
Macros | |
#define | RSDP_EBDA_END_SEG 0xa000 |
EBDA RSDP maximum segment. More... | |
#define | RSDP_BIOS_START 0xe0000 |
Fixed BIOS area RSDP start address. More... | |
#define | RSDP_BIOS_LEN 0x20000 |
Fixed BIOS area RSDP length. More... | |
#define | RSDP_STRIDE 16 |
Stride at which to search for RSDP. More... | |
Functions | |
FILE_LICENCE (GPL2_OR_LATER_OR_UBDL) | |
static userptr_t | rsdp_find_rsdt_range (userptr_t start, size_t len) |
Locate ACPI root system description table within a memory range. More... | |
static userptr_t | rsdp_find_rsdt (void) |
Locate ACPI root system description table. More... | |
PROVIDE_ACPI (rsdp, acpi_find_rsdt, rsdp_find_rsdt) | |
PROVIDE_ACPI_INLINE (rsdp, acpi_find) | |
ACPI Root System Description Pointer.
Definition in file rsdp.c.
#define RSDP_BIOS_START 0xe0000 |
FILE_LICENCE | ( | GPL2_OR_LATER_OR_UBDL | ) |
Locate ACPI root system description table within a memory range.
start | Start address to search |
len | Length to search |
rsdt | ACPI root system description table, or UNULL |
Definition at line 58 of file rsdp.c.
References copy_from_user(), DBGC, le32_to_cpu, len, memcmp(), offset, phys_to_user(), rsdp, RSDP_SIGNATURE, RSDP_STRIDE, acpi_rsdp::rsdt, signature, start, UNULL, and user_to_phys().
Referenced by rsdp_find_rsdt().
|
static |
Locate ACPI root system description table.
rsdt | ACPI root system description table, or UNULL |
Definition at line 96 of file rsdp.c.
References BDA_EBDA, BDA_SEG, get_real, phys_to_user(), real_to_user(), RSDP_BIOS_LEN, RSDP_BIOS_START, RSDP_EBDA_END_SEG, rsdp_find_rsdt_range(), acpi_rsdp::rsdt, and UNULL.
PROVIDE_ACPI | ( | rsdp | , |
acpi_find_rsdt | , | ||
rsdp_find_rsdt | |||
) |