#ifndef HAL_ACPI_H_
#define HAL_ACPI_H_

#include <stdint.h>

void acpi_init(void);
uint32_t acpi_remapirq(uint32_t irq);

#endif // HAL_ACPI_H_