Searched refs:SGX_EPC_PAGE_IS_FREE (Results 1 – 2 of 2) sorted by relevance
30 #define SGX_EPC_PAGE_IS_FREE BIT(1) macro
656 page->flags = SGX_EPC_PAGE_IS_FREE; in sgx_free_epc_page()757 if (page->flags & SGX_EPC_PAGE_IS_FREE) { in arch_memory_failure()