blob: 5fc549f203b46f7c0e6e356b9233a224126b403f (
plain)
1
2
3
4
5
6
7
8
9
10
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#ifndef __PI_PICASSO_RESET_H__
#define __PI_PICASSO_RESET_H__
void set_warm_reset_flag(void);
int is_warm_reset(void);
#endif /* __PI_PICASSO_RESET_H__ */
|