printf(" SlotPowerLimit ");
show_power_limit((t & PCI_EXP_DEVCAP_PWR_VAL) >> 18, (t & PCI_EXP_DEVCAP_PWR_SCL) >> 26);
}
+ printf(" TEE-IO%c", FLAG(t, PCI_EXP_DEVCAP_TEE_IO));
printf("\n");
w = get_conf_word(d, where + PCI_EXP_DEVCTL);
* permitted to skip support for any data rates between 2.5GT/s and the
* highest supported rate.
*/
- if (vector & 0x60)
+ if (vector & 0x40)
return "RsvdP";
+ if (vector & 0x20)
+ return "2.5-64GT/s";
if (vector & 0x10)
return "2.5-32GT/s";
if (vector & 0x08)