Symbol: THT_REG_10G_SEC_EMPTY
sys/dev/pci/if_tht.c
935
THT_REG_10G_SEC_EMPTY(0x80));
sys/dev/pci/if_tht.c
937
THT_REG_10G_SEC_EMPTY(0xe0));