| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef _M68K_MACHDEP_H | |
| #define _M68K_MACHDEP_H | |
| #include <linux/seq_file.h> | |
| #include <linux/interrupt.h> | |
| #include <linux/time.h> | |
| struct pt_regs; | |
| struct mktime; | |
| struct rtc_time; | |
| struct rtc_pll_info; | |
| struct buffer_head; | |
| extern void (*mach_sched_init) (void); | |
| /* machine dependent irq functions */ | |
| extern void (*mach_init_IRQ) (void); | |
| extern void (*mach_get_model) (char *model); | |
| extern void (*mach_get_hardware_list) (struct seq_file *m); | |
| /* machine dependent timer functions */ | |
| extern int (*mach_hwclk)(int, struct rtc_time*); | |
| extern int (*mach_get_rtc_pll)(struct rtc_pll_info *); | |
| extern int (*mach_set_rtc_pll)(struct rtc_pll_info *); | |
| extern void (*mach_reset)( void ); | |
| extern void (*mach_halt)( void ); | |
| extern unsigned long (*mach_hd_init) (unsigned long, unsigned long); | |
| extern void (*mach_hd_setup)(char *, int *); | |
| extern void (*mach_heartbeat) (int); | |
| extern void (*mach_l2_flush) (int); | |
| extern void (*mach_beep) (unsigned int, unsigned int); | |
| /* Hardware clock functions */ | |
| extern void hw_timer_init(void); | |
| #ifdef CONFIG_HEARTBEAT | |
| extern void timer_heartbeat(void); | |
| #else | |
| static inline void timer_heartbeat(void) | |
| { | |
| } | |
| #endif | |
| extern void config_BSP(char *command, int len); | |
| #endif /* _M68K_MACHDEP_H */ |