- DEBUG ((EFI_D_ERROR, "XenPvBlkDxe: %a with invalid LBA: 0x%LX, size: 0x%x\n",\r
- IsWrite ? "Write" : "Read", Lba, BufferSize));\r
+ DEBUG ((EFI_D_ERROR,\r
+ "XenPvBlkDxe: %a with invalid LBA: 0x%Lx, size: 0x%Lx\n",\r
+ IsWrite ? "Write" : "Read", Lba, (UINT64)BufferSize));\r