Symbol: TOPIC_SOCKET_CTRL
sys/dev/pci/pccbb.c
853
sockctl = pci_conf_read(pc, tag, TOPIC_SOCKET_CTRL);
sys/dev/pci/pccbb.c
855
pci_conf_write(pc, tag, TOPIC_SOCKET_CTRL, sockctl);