1 /*
2  * SPDX-License-Identifier: BSD-2-Clause
3  *
4  * Copyright (c) 2020 Western Digital Corporation or its affiliates.
5  *
6  * Authors:
7  *   Anup Patel <anup.patel@wdc.com>
8  */
9 
10 #ifndef __PLATFORM_OVERRIDE_H__
11 #define __PLATFORM_OVERRIDE_H__
12 
13 #include <sbi/sbi_types.h>
14 
15 struct platform_override {
16 	const struct fdt_match *match_table;
17 	u64 (*features)(const struct fdt_match *match);
18 	u64 (*tlbr_flush_limit)(const struct fdt_match *match);
19 	int (*early_init)(bool cold_boot, const struct fdt_match *match);
20 	int (*final_init)(bool cold_boot, const struct fdt_match *match);
21 	void (*early_exit)(const struct fdt_match *match);
22 	void (*final_exit)(const struct fdt_match *match);
23 	int (*system_reset_check)(u32 reset_type, u32 reset_reason,
24 				  const struct fdt_match *match);
25 	void (*system_reset)(u32 reset_type, u32 reset_reason,
26 			     const struct fdt_match *match);
27 	int (*fdt_fixup)(void *fdt, const struct fdt_match *match);
28 };
29 
30 #endif
31