INT64 __stdcall MiSplitDriverPage(MMPTE *PointerPte, UINT8 WsIrql){ return MiMakeDriverPagesPrivate((__int64)PointerPte, WsIrql, WsIrql, 0); }