vint32
vint32 fRunState;
void __m68k_setup_system_time(vint32 *cvFactor);
void __mipsel_setup_system_time(vint32 *cvFactor);
void __ppc_setup_system_time(vint32 *cvFactor);
vint32 system_time_conversion_factor;
vint32 version;
vint32 system_time_conversion_factor;
vint32 version;
vint32 system_time_conversion_factor;
vint32 version;
vint32 refcnt;
vint32 fLogStart;
vint32 fLogEnd;
vint32 fDirtyCachedBlocks;
vint32& LogStart() { return fLogStart; }
vint32& LogEnd() { return fLogEnd; }
static vint32 number;
vint32 fNextNodeHandleCookie;
static vint32 refcount = 0; /* we only want to read the config once ? */
vint32 accessing;
vint32 tls_spinlock = 0;
static vint32 sInstanceCount = 0;
vint32 ref_count;
static vint32 sTSCSyncRendezvous;
static vint32 *sConversionFactor;
__arm_setup_system_time(vint32 *cvFactor)
static vint32 *sConversionFactor;
__m68k_setup_system_time(vint32 *cvFactor)
static vint32 *sConversionFactor;
__ppc_setup_system_time(vint32 *cvFactor)
static vint32 *sConversionFactor;
vint32 lock;
vint32 count_low;
vint32 count_high;