THT_REG_10G_SEC_EMPTY  962 dev/pci/if_tht.c 	    THT_REG_10G_SEC_EMPTY(0x80));
THT_REG_10G_SEC_EMPTY  964 dev/pci/if_tht.c 	    THT_REG_10G_SEC_EMPTY(0xe0));