PCI_EXTCAP_ID
printf("ecap %04x[%03x] = ", PCI_EXTCAP_ID(ecap), ptr);
switch (PCI_EXTCAP_ID(ecap)) {
if (PCI_EXTCAP_ID(ecap) == id)