PCIR_AMDIOMMU_BASE_HIGH
PCIR_AMDIOMMU_BASE_HIGH, 4);
base_high = read_config(fd, &p->pc_sel, ptr + PCIR_AMDIOMMU_BASE_HIGH,