1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _PASEMI_PASEMI_H
3#define _PASEMI_PASEMI_H
4
5extern time64_t pas_get_boot_time(void);
6extern void pas_pci_init(void);
7struct pci_dev;
8extern void pas_pci_irq_fixup(struct pci_dev *dev);
9extern void pas_pci_dma_dev_setup(struct pci_dev *dev);
10
11void __iomem *__init pasemi_pci_getcfgaddr(struct pci_dev *dev, int offset);
12
13extern void __init pasemi_map_registers(void);
14
15/* Power savings modes, implemented in asm */
16extern void idle_spin(void);
17extern void idle_doze(void);
18
19/* Restore astate to last set */
20#ifdef CONFIG_PPC_PASEMI_CPUFREQ
21extern int check_astate(void);
22extern void restore_astate(int cpu);
23#else
24static inline int check_astate(void)
25{
26	/* Always return >0 so we never power save */
27	return 1;
28}
29static inline void restore_astate(int cpu)
30{
31}
32#endif
33
34extern struct pci_controller_ops pasemi_pci_controller_ops;
35
36#endif /* _PASEMI_PASEMI_H */
37