do_cpuid
do_cpuid(0, regs);
do_cpuid(1, regs);
do_cpuid(0x80000000, regs);
do_cpuid(0x80000001, regs);
do_cpuid(1, u.regs);
do_cpuid(0x40000000, u.regs);
void do_cpuid(u_int ax, u_int *p);
void do_cpuid(u_int ax, u_int *p);
do_cpuid(0, regs);
do_cpuid(1, cpu_registers);
do_cpuid(0, regs);
do_cpuid(0, regs);
do_cpuid(0x8000000a, regs);
do_cpuid(1, regs);
do_cpuid(0, regs);
do_cpuid(1, regs);
do_cpuid(0x80000000, regs);
do_cpuid(0x80000001, regs);