VslGetNestedPageProtectionFlags

UINT64 __stdcall VslGetNestedPageProtectionFlags(){
  int v0; 
  int v2; 
  int v3; 
  int v4; 
  int v5; 
  int v6; 
  int v7; 
  int v8; 
  INT64 v9[14]; 

  memset(v9, 0i64, 0x68u);
  if( HvlQueryVsmConnection(0i64)
    && VslpNestedPageProtectionFlags == v0
    && VslpEnterIumSecureMode(2u, 249, 0i64, (INT64)v9) >= 0 )
  {
    v2 = (2 * (v9[2] & 1) + 4) | 0x20;
    if( (v9[2] & 2) == 0 )
      v2 = 2 * (v9[2] & 1) + 4;
    v3 = v2 | 0x10;
    if( (v9[2] & 4) != 0 )
      v3 = v2;
    v4 = v3 | 0x40;
    if( (v9[2] & 8) == 0 )
      v4 = v3;
    v5 = v4 | 0x80;
    if( (v9[2] & 0x10) == 0 )
      v5 = v4;
    v6 = v5 | 0x100;
    if( (v9[2] & 0x20) == 0 )
      v6 = v5;
    v7 = v6 | 0x200;
    if( (v9[2] & 0x40) == 0 )
      v7 = v6;
    v8 = v7 | 0x400;
    if( (v9[2] & 0x80) == 0 )
      v8 = v7;
    VslpNestedPageProtectionFlags = v8;
  }
  return(unsigned int)VslpNestedPageProtectionFlags;
}

Referenced by: