Home
last modified time | relevance | path

Searched refs:SGX_EPC_PAGE_IS_FREE (Results 1 – 2 of 2) sorted by relevance

/openbmc/linux/arch/x86/kernel/cpu/sgx/
H A Dsgx.h30 #define SGX_EPC_PAGE_IS_FREE BIT(1) macro
H A Dmain.c615 page->flags = SGX_EPC_PAGE_IS_FREE; in sgx_free_epc_page()
716 if (page->flags & SGX_EPC_PAGE_IS_FREE) { in arch_memory_failure()