HT_MSI_ADDR_HI
addr = addr | ((u64)readl(base + HT_MSI_ADDR_HI) << 32);
pci_read_config_dword(pdev, pos + HT_MSI_ADDR_HI, &tmp);