INT64 __stdcall HvlpFastSendSyntheticClusterIpiEx(INT64 rcx0, UINT64 edx0){
int v2;
UINT64 v4;
__int64 a2;
__int64 v6[13];
a2 = (unsigned int)edx0;
v2 = HvlpAffinityToHvProcessorSet(rcx0, v6, 0x58u);
LODWORD(v4) = 0;
return(unsigned __int16)HvcallFastExtended(
((v2 + 7) << 14) & 0x3FE0000 | 0x10015u,
&a2,
(unsigned int)(v2 + 24),
0i64,
v4) != 0 ? 0xC0000001 : 0;
}