VTUNCERRMSK_REG  3207 drivers/pci/quirks.c 	pci_read_config_dword(dev, VTUNCERRMSK_REG, &word);
VTUNCERRMSK_REG  3208 drivers/pci/quirks.c 	pci_write_config_dword(dev, VTUNCERRMSK_REG, word | VTD_MSK_SPEC_ERRORS);