platform/pc/timer.cpp

378         uint32_t _ignored;
379         cpuid(0, &_ignored, &_ignored, &_ignored, &_ignored);
381         cpuid(0, &_ignored, &_ignored, &_ignored, &_ignored);
394         cpuid(0, &_ignored, &_ignored, &_ignored, &_ignored);
396         cpuid(0, &_ignored, &_ignored, &_ignored, &_ignored);