//
// Created by rick on 25-03-21.
//

#ifndef NEW_KERNEL_ACPI_H
#define NEW_KERNEL_ACPI_H

#include <attributes.h>

void acpi_init_task();

void att_noreturn acpi_shutdown();

void att_noreturn acpi_restart();

#endif //NEW_KERNEL_ACPI_H