NTSTATUS __stdcall HvlNotifyHpetEnabled(){
_BYTE *v0;
__int16 v1;
__int16 v2;
PHYSICAL_ADDRESS PageInfo[2];
__int128 v5;
char StackBuffer[80];
*(_OWORD *)&PageInfo[0].anonymous_0.LowPart = 0i64;
v5 = 0i64;
v0 = HvlpAcquireHypercallPage(PageInfo, 1ui64, StackBuffer, 0x28ui64);
*(_DWORD *)v0 = 8;
v0[8] = 1;
HvcallInitiateHypercall();
v2 = v1;
HvlpReleaseHypercallPage((_HVLP_HYPERCALL_PAGE_INFO *)PageInfo);
return v2 != 0 ? 0xC0000001 : 0;
}