+ // Here we skip the first 4 bytes of Buffer, because we must ensure BaseListMarker is\r
+ // 64-bit aligned, otherwise retrieving 64-bit parameter from BaseListMarker will cause\r
+ // exception on IPF. Buffer starts at 64-bit aligned address, so skipping 4 types (sizeof(EFI_DEBUG_INFO))\r
+ // just makes addess of BaseListMarker, which follows DebugInfo, 64-bit aligned.\r
+ //\r