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)(u32 reset_type, const struct fdt_match *match);
24 	int (*fdt_fixup)(void *fdt, const struct fdt_match *match);
25 };
26 
27 #endif
28