27 #ifndef INCLUDED_X86_X64
28 #define INCLUDED_X86_X64
33 #error "including x86_x64.h without ARCH_X86_X64=1"
45 #pragma pack(push, 1) // (allows casting to int*)
95 LIB_API
size_t Model();
162 static inline u64 rdtsc() {
return __rdtsc(); }
182 #endif // #ifndef INCLUDED_X86_X64
LIB_API size_t Generation()
bool cpuid(CpuidRegs *regs)
invoke CPUID instruction.
Caps
bit indices of CPU capability flags (128 bits).
double ClockFrequency()
measure the CPU clock frequency via rdtsc and timer_Time.
void DebugBreak()
trigger a breakpoint inside this function when it is called.
void GetCapBits(u32 *d0, u32 *d1, u32 *d2, u32 *d3)
registers used/returned by cpuid