Symbol: sgx_epc_page_remove
sys/amd64/sgx/sgx.c
373
sgx_epc_page_remove(sc, epc);
sys/amd64/sgx/sgx.c
894
sgx_epc_page_remove(sc, epc);