__int64 __fastcall sub_22CC(
        __int64 n8,
        __int64 (__fastcall *nullsub)(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable),
        __int64 a3,
        __int64 a4)
{
  __int64 (__fastcall *nullsub_2)(EFI_HANDLE, EFI_SYSTEM_TABLE *); // r8

  if ( !a4 ) /*0x22fc*/
    sub_788("e:\\hs\\MdePkg\\Library\\UefiLib\\UefiNotTiano.c", 181, "ReadyToBootEvent != ((void *) 0)"); /*0x2311*/
  if ( SystemTable->Hdr.Revision >= 0x20000 ) /*0x232b*/
  {
    nullsub_2 = nullsub_1; /*0x2393*/
    if ( nullsub ) /*0x23aa*/
      nullsub_2 = nullsub; /*0x23aa*/
    return (*(__int64 (__fastcall **)(__int64, __int64, __int64 (__fastcall *)(EFI_HANDLE, EFI_SYSTEM_TABLE *), __int64, void *, __int64))(qword_96A8 + 368))( /*0x23b3*/
             512,
             n8,
             nullsub_2,
             a3,
             &unk_9380,
             a4);
  }
  else
  {
    sub_740(0x80000000LL, "EFI1.1 can't support ReadyToBootEvent!"); /*0x234c*/
    sub_788("e:\\hs\\MdePkg\\Library\\UefiLib\\UefiNotTiano.c", 185, "((BOOLEAN)(0==1))"); /*0x2371*/
    return 0x8000000000000003uLL; /*0x2376*/
  }
}