sgx_free_epc_page (reference) in projects: linux

Searched refs:sgx_free_epc_page (Results 1 – 4 of 4) sorted by relevance

/linux/arch/x86/kernel/cpu/sgx/
A D	virt.c	`70 sgx_free_epc_page(epc_page); in __sgx_vepc_fault() 149 sgx_free_epc_page(epc_page); in sgx_vepc_free_page()`
A D	sgx.h	`81 void sgx_free_epc_page(struct sgx_epc_page *page);`
A D	main.c	`70 sgx_free_epc_page(page); in __sgx_sanitize_pages() 620 void sgx_free_epc_page(struct sgx_epc_page *page) in sgx_free_epc_page() function`
A D	encl.c	`757 sgx_free_epc_page(page); in sgx_encl_free_epc_page()`

Completed in 10 milliseconds