INT64 __fastcall MI_GET_NODE_FROM_VALID_PTE(INT64 a1){
UINT64 v1;
__int64 v2;
UINT64 v4;
v4 = MI_READ_PTE_LOCK_FREE(a1);
v1 = v4;
MiPteInShadowRange((UINT64)&v4);
LODWORD(v2) = MiSearchNumaNodeTable((PVOID)((v1 >> 12) & 0xFFFFFFFFFi64));
return *(unsigned int *)(v2 + 8);
}