src/acpi.h

   1 #ifndef __ACPI_H
   2 #define __ACPI_H
   3
   4 #include "types.h" // u32
   5
   6 void acpi_bios_init(void);
   7
   8 // XXX - move to better header.
   9 extern int smp_cpus;
  10
  11 struct rsdp_descriptor         /* Root System Descriptor Pointer */
  12 {
  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 */
  22 };
  23
  24 #endif // acpi.h