Searched refs:PCI_EXP_DEVCAP_TEE_IO (Results 1 – 2 of 2) sorted by relevance
795 #define PCI_EXP_DEVCAP_TEE_IO 0x40000000 /* TEE-IO Supported (TDISP) */ macro
721 printf(" TEE-IO%c", FLAG(t, PCI_EXP_DEVCAP_TEE_IO)); in cap_express_dev()