Searched refs:cpu_registers (Results 1 - 2 of 2) sorted by relevance

/freebsd-13-stable/tests/sys/kern/
H A Dlibkern_crc32.c43 u_int cpu_registers[4]; local
45 do_cpuid(1, cpu_registers);
47 return ((cpu_registers[2] & CPUID2_SSE42) != 0);
/freebsd-13-stable/usr.sbin/bhyve/
H A Drfb.c1053 u_int cpu_registers[4], ecx; local
1055 do_cpuid(1, cpu_registers);
1057 ecx = cpu_registers[2];

Completed in 116 milliseconds