Message ID | 20161215144959.31245-4-jarkko.sakkinen@linux.intel.com (mailing list archive) |
---|---|
State | New, archived |
Headers | show |
diff --git a/drivers/platform/x86/intel_sgx_util.c b/drivers/platform/x86/intel_sgx_util.c index d1c4c71..3878d9a 100644 --- a/drivers/platform/x86/intel_sgx_util.c +++ b/drivers/platform/x86/intel_sgx_util.c @@ -173,6 +173,8 @@ void sgx_invalidate(struct sgx_encl *encl) vma = sgx_find_vma(encl, addr); if (vma) sgx_zap_tcs_ptes(encl, vma); + else + break; } encl->vma_cnt = 0;