06a96e Fix non-SGX builds

Authored and Committed by Paolo Bonzini 2 years ago
    Fix non-SGX builds
    
        
file modified
+6 -1