xref: /aosp_15_r20/external/coreboot/src/soc/mediatek/common/include/soc/bl31.h (revision b9411a12aaaa7e1e6a6fb7c5e057f44ee179a49c) 
1 /* SPDX-License-Identifier: GPL-2.0-only OR MIT */
2 
3 #ifndef _SOC_BL31_H_
4 #define _SOC_BL31_H_
5 
6 #include <stdbool.h>
7 
8 void register_reset_to_bl31(int gpio_index, bool active_high);
9 
10 #endif  /* _SOC_BL31_H_ */
11