diff --git a/src/soc/amd/picasso/cpu.c b/src/soc/amd/picasso/cpu.c index f3332ac01c..88626971c5 100644 --- a/src/soc/amd/picasso/cpu.c +++ b/src/soc/amd/picasso/cpu.c @@ -12,7 +12,7 @@ #include #include #include -#include +#include #include #include #include diff --git a/src/soc/amd/picasso/include/soc/reset.h b/src/soc/amd/picasso/include/soc/reset.h new file mode 100644 index 0000000000..5fc549f203 --- /dev/null +++ b/src/soc/amd/picasso/include/soc/reset.h @@ -0,0 +1,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__ */ diff --git a/src/soc/amd/picasso/mca.c b/src/soc/amd/picasso/mca.c index 35a953c492..cea1c51301 100644 --- a/src/soc/amd/picasso/mca.c +++ b/src/soc/amd/picasso/mca.c @@ -3,7 +3,7 @@ #include #include #include -#include +#include #include #include #include diff --git a/src/soc/amd/picasso/reset.c b/src/soc/amd/picasso/reset.c index bf9345ed4c..b6aeb1fb54 100644 --- a/src/soc/amd/picasso/reset.c +++ b/src/soc/amd/picasso/reset.c @@ -2,8 +2,8 @@ #include #include -#include #include +#include #include #include #include