typedef UINT64 EFI_PHYSICAL_ADDRESS;
Copyright (C) 2008-2009 Phoenix Technologies Ltd. All Rights Reserved. Portions (C) 2005 UEFI Forum, Inc. Used with permission.
