#ifndef __pagedata__
#define __pagedata__

extern int  gGPakIdxMax;
extern u32 gGPakIds[SA_META_MAX_TICKETS];

extern void initPageData(void);
extern void doPageData(void);
extern void resetPageData(void);

#endif /* __pagedata__ */