diff --git a/isgx_page_cache.c b/isgx_page_cache.c index 2d8fade..f71408f 100644 --- a/isgx_page_cache.c +++ b/isgx_page_cache.c @@ -479,7 +479,7 @@ void isgx_free_epc_page(struct isgx_epc_page *entry, } if (flags & ISGX_FREE_EREMOVE) - BUG_ON(isgx_eremove(entry)); + isgx_eremove(entry); spin_lock(&isgx_free_list_lock); list_add(&entry->free_list, &isgx_free_list); diff --git a/isgx_util.c b/isgx_util.c index 8e1999b..7234ce0 100644 --- a/isgx_util.c +++ b/isgx_util.c @@ -84,7 +84,7 @@ int isgx_eremove(struct isgx_epc_page *epc_page) isgx_put_epc_page(epc); if (ret) - pr_debug_ratelimited("EREMOVE returned %d\n", ret); + pr_err("EREMOVE returned %d\n", ret); return ret; }