Symbol: intel_print_cacheinfo
sys/arch/amd64/amd64/cacheinfo.c
281
intel_print_cacheinfo(ci, 4);
sys/arch/amd64/amd64/cacheinfo.c
287
intel_print_cacheinfo(ci, 0x8000001d);