#ifndef GETTIME_H
#define GETTIME_H
-#pragma GCC visibility push(hidden)
+#include "BeginPrivate.h"
// We'll use a fixed resolution of usec for now. The machine
// dependent implementation may have a different resolution, but we'll
// Not strictly timing, but related
nat getPageFaults (void);
-#pragma GCC visibility pop
+#include "EndPrivate.h"
#endif /* GETTIME_H */