VOID\r
)\r
{\r
- EFI_HOB_GUID_TYPE *GuidHob;\r
- STATIC BOOLEAN Cached = FALSE;\r
- STATIC EFI_XEN_INFO *XenInfo;\r
+ EFI_HOB_GUID_TYPE *GuidHob;\r
+ STATIC BOOLEAN Cached = FALSE;\r
+ STATIC EFI_XEN_INFO *XenInfo;\r
\r
//\r
// Return the cached result for the benefit of XenDetected that can be\r
if (GuidHob == NULL) {\r
XenInfo = NULL;\r
} else {\r
- XenInfo = (EFI_XEN_INFO *) GET_GUID_HOB_DATA (GuidHob);\r
+ XenInfo = (EFI_XEN_INFO *)GET_GUID_HOB_DATA (GuidHob);\r
}\r
+\r
Cached = TRUE;\r
return XenInfo;\r
}\r
VOID\r
)\r
{\r
- EFI_XEN_INFO *XenInfo;\r
+ EFI_XEN_INFO *XenInfo;\r
\r
XenInfo = XenGetInfoHOB ();\r
return (XenInfo != NULL && XenInfo->RsdpPvh != NULL);\r