INT64 __stdcall HvlNotifyAcpiReenabled(){
__int16 v0;
unsigned int v1;
__int128 v3[2];
memset(v3, 0, sizeof(v3));
*(_DWORD *)HvlpAcquireHypercallPage((PHYSICAL_ADDRESS *)v3, 1, 0i64, 8i64) = 3;
HvcallInitiateHypercall();
v1 = v0 != 0 ? 0xC0000001 : 0;
HvlpReleaseHypercallPage((unsigned int *)v3);
return v1;
}