/*
 * Copyright (C) <2018> Intel Corporation
 * SPDX-License-Identifier: BSD-3-Clause
 */
#ifndef	REBOOT_H
#define	REBOOT_H

int warm_reboot(void);
#endif