uint64 ottd_rdtsc()
Get the tick counter from the CPU (high precision timing).
void ottd_cpuid(int info[4], int type)
Get the CPUID information from the CPU.
bool HasCPUIDFlag(uint type, uint index, uint bit)
Check whether the current CPU has the given flag.