cpu_6xx_print_cacheinfo
static void cpu_6xx_print_cacheinfo(u_int, uint16_t);
cpu_6xx_print_cacheinfo(cpuid, vers);