#ifndef HAL_ACPI_H_
#define HAL_ACPI_H_

#include "uacpi/uacpi.h"

extern struct acpi_madt *MADT;

void acpi_init(void);

#endif // HAL_ACPI_H_