Symbol: SGCR3
sys/dev/pci/if_kse.c
801
i = CSR_READ_2(sc, SGCR3);
sys/dev/pci/if_kse.c
802
CSR_WRITE_2(sc, SGCR3, i | CR3_USEFC);