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

#ifndef NEW_KERNEL_POWER_H
#define NEW_KERNEL_POWER_H

#include <attributes.h>

void att_noreturn power_shutdown();

#endif //NEW_KERNEL_POWER_H