PCI_EXP_DEVCTL2_ARI
PCI_EXP_DEVCTL2_ARI);
p_setw(perm, PCI_EXP_DEVCTL2, NO_VIRT, ~PCI_EXP_DEVCTL2_ARI);