dvsec_rev         418 drivers/pci/pci-acpi.c 	u16 dvsec_rev;
dvsec_rev         577 drivers/pci/pci-acpi.c 	hpx3_reg->dvsec_rev              = reg_fields[7].integer.value;