}\r
\r
if (BufferSize % Media->BlockSize != 0) {\r
- DEBUG ((EFI_D_ERROR, "XenPvBlkDxe: Bad buffer size: 0x%X\n", BufferSize));\r
+ DEBUG ((EFI_D_ERROR, "XenPvBlkDxe: Bad buffer size: 0x%Lx\n",\r
+ (UINT64)BufferSize));\r
return EFI_BAD_BUFFER_SIZE;\r
}\r
\r
if (Lba > Media->LastBlock ||\r
(BufferSize / Media->BlockSize) - 1 > Media->LastBlock - Lba) {\r
- 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
return EFI_INVALID_PARAMETER;\r
}\r
\r