INT64 __fastcall MiSelectSystemImageAddress(INT64 a1, INT64 a2){ INT64 result; result = (INT64)MiReserveDriverPtes((unsigned int)a2, 0i64); if( result ) return((result << 25) - ((_QWORD)MmGetPteBase() << 25)) >> 16; return result; }