__int64 __fastcall CreateLegacyBootEventEx(
        __int64 n16,
        __int64 (__fastcall *Callback)(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable),
        __int64 a3,
        __int64 a4)
{
  __int64 (__fastcall *nullsub_2)(EFI_HANDLE, EFI_SYSTEM_TABLE *); // r8

  if ( !a4 ) /*0x21f8*/
    DebugAssert("e:\\hs\\MdePkg\\Library\\UefiLib\\UefiNotTiano.c", 86, "LegacyBootEvent != ((void *) 0)"); /*0x220c*/
  if ( SystemTable->Hdr.Revision >= 0x20000 ) /*0x2226*/
  {
    nullsub_2 = nullsub_1; /*0x228e*/
    if ( Callback ) /*0x22a5*/
      nullsub_2 = Callback; /*0x22a5*/
    return (*(__int64 (__fastcall **)(__int64, __int64, __int64 (__fastcall *)(EFI_HANDLE, EFI_SYSTEM_TABLE *), __int64, void *, __int64))(qword_96A8 + 368))( /*0x22ae*/
             512,
             n16,
             nullsub_2,
             a3,
             &unk_9390,
             a4);
  }
  else
  {
    DebugPrint(0x80000000LL, "EFI1.1 can't support LegacyBootEvent!"); /*0x2247*/
    DebugAssert("e:\\hs\\MdePkg\\Library\\UefiLib\\UefiNotTiano.c", 90, "((BOOLEAN)(0==1))"); /*0x226c*/
    return 0x8000000000000003uLL; /*0x2271*/
  }
}