MI_IS_SOFTWARE_PTE_SHADOW_STACK

__int64 __fastcall MI_IS_SOFTWARE_PTE_SHADOW_STACK(_QWORD *a1){
  if( (*a1 & 0x400i64) != 0 )
    return 0i64;
  else
    return(*a1 >> 26) & 1i64;
}