INT64 __fastcall HalpRegisterSecondaryIcInterface(_SECONDARY_INTERRUPT_PROVIDER_INTERFACE *InterfaceBuffer){
_SECONDARY_INTERRUPT_PROVIDER_INTERFACE *v1;
if( (unsigned __int8)HalpValidateInterface(InterfaceBuffer) )
return HalpCreateSecondaryIcEntry(v1);
else
return 3221225485i64;
}