UINT64 __fastcall MiMakePrototypePteDirect(INT64 a1){ INT64 v1; v1 = (a1 << 16) | 0x400; if( qword_140C4DC80 ) { if( (qword_140C4DC80 & v1) == 0 ) return v1 | qword_140C4DC80; return v1 | 0x10; } return v1; }