1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _M68K_MACHDEP_H
3 #define _M68K_MACHDEP_H
5 #include <linux/seq_file.h>
6 #include <linux/interrupt.h>
7 #include <linux/time.h>
15 extern void (*mach_sched_init
) (void);
16 /* machine dependent irq functions */
17 extern void (*mach_init_IRQ
) (void);
18 extern void (*mach_get_model
) (char *model
);
19 extern void (*mach_get_hardware_list
) (struct seq_file
*m
);
20 /* machine dependent timer functions */
21 extern int (*mach_hwclk
)(int, struct rtc_time
*);
22 extern unsigned int (*mach_get_ss
)(void);
23 extern int (*mach_get_rtc_pll
)(struct rtc_pll_info
*);
24 extern int (*mach_set_rtc_pll
)(struct rtc_pll_info
*);
25 extern void (*mach_reset
)( void );
26 extern void (*mach_halt
)( void );
27 extern void (*mach_power_off
)( void );
28 extern unsigned long (*mach_hd_init
) (unsigned long, unsigned long);
29 extern void (*mach_hd_setup
)(char *, int *);
30 extern void (*mach_heartbeat
) (int);
31 extern void (*mach_l2_flush
) (int);
32 extern void (*mach_beep
) (unsigned int, unsigned int);
34 /* Hardware clock functions */
35 extern void hw_timer_init(void);
36 #ifdef CONFIG_HEARTBEAT
37 extern void timer_heartbeat(void);
39 static inline void timer_heartbeat(void)
44 extern void config_BSP(char *command
, int len
);
46 #endif /* _M68K_MACHDEP_H */