diff options
| author | Jordan Justen <jordan.l.justen@intel.com> | 2014-11-12 20:33:36 +0000 |
|---|---|---|
| committer | jljusten <jljusten@Edk2> | 2014-11-12 20:33:36 +0000 |
| commit | 4d3b9d332db5c2350cd567fa37a2d90170168b6a (patch) | |
| tree | 7ceb2fb08e09e173046eb6a4115d2f1c2ac504ce /OvmfPkg/XenPvBlkDxe | |
| parent | a23eb77b45f4940b04a49cbd6d40ce46f8c677f6 (diff) | |
| download | edk2-4d3b9d332db5c2350cd567fa37a2d90170168b6a.tar.gz edk2-4d3b9d332db5c2350cd567fa37a2d90170168b6a.tar.bz2 edk2-4d3b9d332db5c2350cd567fa37a2d90170168b6a.zip | |
OvmfPkg/XenPvBlkDxe: Don't include system inttypes.h
EDK II code should not include system include files.
Contributed-under: TianoCore Contribution Agreement 1.0
Signed-off-by: Jordan Justen <jordan.l.justen@intel.com>
Reviewed-by: Anthony PERARD <anthony.perard@citrix.com>
git-svn-id: https://svn.code.sf.net/p/edk2/code/trunk/edk2@16341 6f19259b-4bc3-4df7-8a09-765794883524
Diffstat (limited to 'OvmfPkg/XenPvBlkDxe')
| -rw-r--r-- | OvmfPkg/XenPvBlkDxe/BlockFront.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/OvmfPkg/XenPvBlkDxe/BlockFront.c b/OvmfPkg/XenPvBlkDxe/BlockFront.c index 8d43d833b0..c43e7af9a5 100644 --- a/OvmfPkg/XenPvBlkDxe/BlockFront.c +++ b/OvmfPkg/XenPvBlkDxe/BlockFront.c @@ -3,6 +3,7 @@ Copyright (c) 2007-2008 Samuel Thibault.
Copyright (C) 2014, Citrix Ltd.
+ Copyright (c) 2014, Intel Corporation. All rights reserved.<BR>
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
@@ -34,11 +35,6 @@ #include <IndustryStandard/Xen/io/protocols.h>
#include <IndustryStandard/Xen/io/xenbus.h>
-//
-// Header used for UINT32_MAX and UINT16_MAX
-//
-#include "inttypes.h"
-
/**
Helper to read an integer from XenStore.
@@ -191,7 +187,7 @@ XenPvBlockFrontInitialization ( FreePool (DeviceType);
Status = XenBusReadUint64 (XenBusIo, "backend-id", FALSE, &Value);
- if (Status != XENSTORE_STATUS_SUCCESS || Value > UINT16_MAX) {
+ if (Status != XENSTORE_STATUS_SUCCESS || Value > MAX_UINT16) {
DEBUG ((EFI_D_ERROR, "XenPvBlk: Failed to get backend-id (%d)\n",
Status));
goto Error;
@@ -259,7 +255,7 @@ Again: }
Status = XenBusReadUint64 (XenBusIo, "info", TRUE, &Value);
- if (Status != XENSTORE_STATUS_SUCCESS || Value > UINT32_MAX) {
+ if (Status != XENSTORE_STATUS_SUCCESS || Value > MAX_UINT32) {
goto Error2;
}
Dev->MediaInfo.VDiskInfo = Value;
@@ -275,7 +271,7 @@ Again: }
Status = XenBusReadUint64 (XenBusIo, "sector-size", TRUE, &Value);
- if (Status != XENSTORE_STATUS_SUCCESS || Value > UINT32_MAX) {
+ if (Status != XENSTORE_STATUS_SUCCESS || Value > MAX_UINT32) {
goto Error2;
}
if (Value % 512 != 0) {
|