waitqueue clarifications for SGX platform
          #111595
        
          
                  
     Merged
                
                
              waitqueue clarifications for SGX platform
          #111595