/* SPDX-License-Identifier: GPL-2.0+ */ /* * Copyright (C) 2011 Michal Simek */ #ifndef __ASM_MICROBLAZE_PROCESSOR_H #define __ASM_MICROBLAZE_PROCESSOR_H /* References to section boundaries */ extern char _end[]; extern char __text_start[]; /* Microblaze board initialization function */ void board_init(void); /* Watchdog functions */ extern void hw_watchdog_disable(void); #endif /* __ASM_MICROBLAZE_PROCESSOR_H */