arch/powerpc/platforms/pasemi/pasemi.h

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