amd64_cpuid_insn
extern void amd64_cpuid_insn(uint32_t, struct amd64_cpuid_regs *);
amd64_cpuid_insn(0, vcr);
amd64_cpuid_insn(1, vcr);
amd64_cpuid_insn(0x80000000, vcr);
amd64_cpuid_insn(0x80000001, vcr);