/* AArch64 kernel
 * Licence: GNU General Public License v3.0
 * By: 0x4248
*/

#ifndef POWER_H
#define POWER_H
void kernel_call_poweroff();
#endif