Symbol: sgx_put_epc_page
sys/amd64/sgx/sgx.c
374
sgx_put_epc_page(sc, epc);
sys/amd64/sgx/sgx.c
774
sgx_put_epc_page(sc, epc);
sys/amd64/sgx/sgx.c
912
sgx_put_epc_page(sc, epc);