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