cpuid_insn
(void) cpuid_insn(NULL, &crs);
(void) cpuid_insn(NULL, ®s);
(void) cpuid_insn(NULL, ®s);
(void) cpuid_insn(NULL, ®s);
(void) cpuid_insn(NULL, ®s);
(void) cpuid_insn(NULL, ®s);
extern uint32_t cpuid_insn(struct cpu *, struct cpuid_regs *);