PCICAP_ID
val = pci_read_config(dev, ptr + PCICAP_ID, 1);
KASSERT(pci_read_config(child, start + PCICAP_ID, 1) == PCIY_HT,
if (pci_read_config(child, ptr + PCICAP_ID, 1) == capability) {
KASSERT(pci_read_config(child, start + PCICAP_ID, 1) == capability,
if (pci_read_config(child, ptr + PCICAP_ID, 1) == capability) {
switch (REG(ptr + PCICAP_ID, 1)) {
ptr + PCICAP_ID, 1) != PCIY_HT)
cap = passthru_read_config(&sel, ptr + PCICAP_ID, 1);
cap = read_config(fd, &p->pc_sel, ptr + PCICAP_ID, 1);
cap = read_config(fd, &p->pc_sel, ptr + PCICAP_ID, 1);