acpi.h

Go to the documentation of this file.

#ifndef __ACPI_H_
#define __ACPI_H_ 1
 
#include <stdint.h>
#include <stddef.h>
 
extern char* oem_name;
 
extern bool virtualized;
 
struct sdt {
    char signature[4];
    uint32_t length;
    uint8_t rev;
    uint8_t checksum;
    char oem_id[6];
    char oem_table_id[8];
    uint32_t oem_rev;
    uint32_t creator_id;
    uint32_t creator_rev;
} __attribute__((packed));
 
struct acpi_gas {
    uint8_t address_space;
    uint8_t bit_width;
    uint8_t bit_offset;
    uint8_t access_size;
    uint64_t address;
};
 

void acpi_init();

void *acpi_find_sdt(const char *signature, size_t index);

void acpi_reboot(uintptr_t hhdm_offset);
 
#endif