Symbol: sgx_page_remove
sys/amd64/sgx/sgx.c
406
sgx_page_remove(sc, p, &pages);
sys/amd64/sgx/sgx.c
412
sgx_page_remove(sc, p_secs, NULL);
sys/amd64/sgx/sgx.c
735
sgx_page_remove(sc, p, NULL);
sys/amd64/sgx/sgx.c
749
sgx_page_remove(sc, p, NULL);