SGX_EPC_PAGE_IS_FREE (reference) in projects: linux-6.3-rc2

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

/linux-6.3-rc2/arch/x86/kernel/cpu/sgx/
A D	sgx.h	`30 #define SGX_EPC_PAGE_IS_FREE BIT(1) macro`
A D	main.c	`614 page->flags = SGX_EPC_PAGE_IS_FREE; in sgx_free_epc_page() 715 if (page->flags & SGX_EPC_PAGE_IS_FREE) { in arch_memory_failure()`

Completed in 5 milliseconds