/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef AMD_PICASSO_RESET_H
#define AMD_PICASSO_RESET_H

void set_warm_reset_flag(void);
int is_warm_reset(void);

#endif /* AMD_PICASSO_RESET_H */