#ifndef _PASEMI_PASEMI_H
#define _PASEMI_PASEMI_H
extern unsigned long pas_get_boot_time(void);
extern void pas_pci_init(void);
extern void pas_pcibios_fixup(void);
#endif /* _PASEMI_PASEMI_H */