57
57
extern char *Hostinfo_GetCpuDescription(uint32 cpuNumber);
58
58
extern void Hostinfo_GetTimeOfDay(VmTimeType *time);
59
59
extern VmTimeType Hostinfo_SystemUpTime(void);
61
61
extern VmTimeType Hostinfo_SystemTimerUS(void);
63
63
extern int Hostinfo_GetSystemBitness(void);
64
64
extern const char *Hostinfo_OSVersionString(void);