iPXE
rsdp.h
Go to the documentation of this file.
1 #ifndef _IPXE_RSDP_H
2 #define _IPXE_RSDP_H
3 
4 /** @file
5  *
6  * Standard PC-BIOS ACPI RSDP interface
7  *
8  */
9 
10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11 
12 #ifdef ACPI_RSDP
13 #define ACPI_PREFIX_rsdp
14 #else
15 #define ACPI_PREFIX_rsdp __rsdp_
16 #endif
17 
18 /**
19  * Locate ACPI table
20  *
21  * @v signature Requested table signature
22  * @v index Requested index of table with this signature
23  * @ret table Table, or UNULL if not found
24  */
25 static inline __attribute__ (( always_inline )) userptr_t
27 
29 }
30 
31 #endif /* _IPXE_RSDP_H */
userptr_t acpi_find_via_rsdt(uint32_t signature, unsigned int index)
Locate ACPI table via RSDT.
Definition: acpi.c:110
static acpi_find(uint32_t signature, unsigned int index)
Locate ACPI table.
Definition: rsdp.h:26
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
static EFI_ACPI_1_0_ROOT_SYSTEM_DESCRIPTION_POINTER * rsdp
ACPI configuration table.
Definition: efi_acpi.c:39
unsigned int uint32_t
Definition: stdint.h:12
#define ACPI_INLINE(_subsys, _api_func)
Calculate static inline ACPI API function name.
Definition: acpi.h:336
static __attribute__((always_inline)) userptr_t ACPI_INLINE(rsdp
Locate ACPI table.
uint64_t index
Index of the first segment within the content.
Definition: pccrc.h:21
u8 signature
Signature.
Definition: CIB_PRM.h:35
unsigned long userptr_t
A pointer to a user buffer.
Definition: uaccess.h:33