NTSTATUS __stdcall MiGetPageFileHigh(UINT64 a1){ if( *(&stru_140C4DB30 + 42) && (a1 & 0x10) == 0 ) a1 &= ~*(&stru_140C4DB30 + 42); return HIDWORD(a1); }