INT64 __fastcall HalpInterruptSetMsiOverride(CHAR a1){
INT64 result;
if( a1 )
result = HalpInterruptMsiOverrideFlags & 0xFFFFFFFC | 1;
else
result = HalpInterruptMsiOverrideFlags & 0xFFFFFFFC | 2;
HalpInterruptMsiOverrideFlags = result;
return result;
}