VOID __stdcall MiLogKernelStackEvent(VOID *Va, UINT64 PageCount, UINT64 Access){
_QWORD v3[3];
_QWORD v4[2];
v3[2] = (unsigned int)PageCount;
v3[1] = Va;
v4[1] = 24i64;
v3[0] = 11i64;
v4[0] = v3;
EtwTraceKernelEvent((__int64)v4, 1u, 0x20000001u, ((_DWORD)Access != 1) + 632, 0x11401B02u);
}