[patch] <machine/cputypes.h>

[Joseph Koshy]

> >  #define        CPU_GEODE1100   17      /* NS Geode SC1100 */
> > +#define        CPU_K7          18      /* AMD K7 */
> > +#define        CPU_K8          19      /* AMD K8 (in X86 mode) */
>                                                  ^^^^^^^^^^^^^^^^
>                                                  K8 is an x86 CPU,
>                                                  I think you mean 32-bit
>                                                  mode.

Yes.
 
> What are these values used for?  A grep finds that we set them
> inconsistently and that they aren't used anywhere other than
> CPU_GEODE1100 in i386/i386/vm_machdep.c.

The pmc(4) driver (being written) needs a way of informing the
userland libpmc(3)
(also being written) about the kind of CPU present in the system and I thought I
could use the symbols in <cputypes.h> instead of defining them in <sys/pmc.h>.