On Thu, Nov 08, 2018 at 11:57:33AM +0000, YueHaibing wrote: > - dev_err(dev, "INVALID_PPR_REQUEST device=%02x:%02x.%x pasid=0x%05x address=0x%016llx flags=0x%04x]\n", > + dev_err(dev, "INVALID_PPR_REQUEST device=%02x:%02x.%x pasid=0x%05x address=0x%016llx flags=0x%04x tag=0x%08x]\n", Changed the %08x to %03x, which is enough for a 10-bit value, and applied it to x86/amd. Thanks, Joerg