| /* 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 */ |
