x86BiosExecuteInterruptShadowed

INT64 __fastcall x86BiosExecuteInterruptShadowed(UINT8 a1, INT64 a2){
  unsigned int v2; 
  unsigned int v3; 
  if( !x86BiosInitialized )
    return 4i64;
  if( HalpIoMemoryBase )
    x86BiosIoMemory = (__int64)HalpIoMemoryBase;
  if( HalpFrameBufferBase )
    x86BiosFrameBuffer = HalpFrameBufferBase;
  v2 = XmEmulateInterrupt(a1, a2);
  v3 = v2;
  if( v2 != 1 )
    DbgPrint("HAL: Interrupt emulation failed, status %lx\n", v2);
  return v3;
}

Referenced by: