#ifndef ACPI_INIT_H
#define ACPI_INIT_H

#include <acpi/acpi.h>

void acpi_enter_sleep(int sleep_state);
int acpi_get_irq_number(uint16_t bus, uint16_t dev, uint16_t func);
void acpi_init(void);

#endif