1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright (C) 2011 Michal Simek <monstr@monstr.eu>
4  */
5 
6 #ifndef __ASM_MICROBLAZE_PROCESSOR_H
7 #define __ASM_MICROBLAZE_PROCESSOR_H
8 
9 /* Microblaze board initialization function */
10 void board_init(void);
11 
12 /* Watchdog functions */
13 extern void hw_watchdog_disable(void);
14 
15 #endif /* __ASM_MICROBLAZE_PROCESSOR_H */
16