Hi

In one special purpose register, there is the type of the CPU stored. I
need it for COMPAT_MACH. Is there a place accessible in C where we store
it? If not, what assembly would I need to get the value?

-- 
Emmanuel Dreyfus
manu@netbsd.org