BOOL __stdcall KeIsUserVaAccessAllowed(INT64 a1){ int v2; int v3; if( !KeSmapEnabled ) return 1; if( a1 ) v2 = *(_DWORD *)(a1 + 376); else v2 = v3; return(v2 & 0x40000) != 0; }