4 #include "types.h" // u32
6 void acpi_bios_init(void);
8 // XXX - move to better header.
11 struct rsdp_descriptor /* Root System Descriptor Pointer */
13 u8 signature [8]; /* ACPI signature, contains "RSD PTR " */
14 u8 checksum; /* To make sum of struct == 0 */
15 u8 oem_id [6]; /* OEM identification */
16 u8 revision; /* Must be 0 for 1.0, 2 for 2.0 */
17 u32 rsdt_physical_address; /* 32-bit physical address of RSDT */
18 u32 length; /* XSDT Length in bytes including hdr */
19 u64 xsdt_physical_address; /* 64-bit physical address of XSDT */
20 u8 extended_checksum; /* Checksum of entire table */
21 u8 reserved [3]; /* Reserved field must be 0 */