Symbol: VTUNCERRMSK_REG
drivers/pci/quirks.c
3419
pci_read_config_dword(dev, VTUNCERRMSK_REG, &word);
drivers/pci/quirks.c
3420
pci_write_config_dword(dev, VTUNCERRMSK_REG, word | VTD_MSK_SPEC_ERRORS);