Symbol: K_CPUID_FAMILY_MODEL_R
sys/dev/powermng/kate/kate.c
138
c = pci_read_config(dev, K_CPUID_FAMILY_MODEL_R, 4);
sys/dev/powermng/kate/kate.c
172
c = pci_read_config(dev, K_CPUID_FAMILY_MODEL_R, 4);