INT8 __stdcall MmIsNonPagedPoolNx(PVOID Va, UINT64 *a2){
INT64 v3;
v3 = MI_READ_PTE_LOCK_FREE((INT64)MmGetPdeBase() + (((unsigned __int64)Va >> 18) & 0x3FFFFFF8));
if( (v3 & 0x80u) == 0i64 )
v3 = MI_READ_PTE_LOCK_FREE((INT64)MmGetPteBase() + (((unsigned __int64)Va >> 9) & 0x7FFFFFFFF8i64));
return v3 < 0;
}