225 		mtx_lock(&sc->mtx_encls);  in sgx_va_slot_init_by_index()
227 		mtx_unlock(&sc->mtx_encls);  in sgx_va_slot_init_by_index()
348 	mtx_lock(&sc->mtx_encls);  in sgx_epc_page_remove()
350 	mtx_unlock(&sc->mtx_encls);  in sgx_epc_page_remove()
426 	mtx_lock(&sc->mtx_encls);  in sgx_measure_page()
435 			mtx_unlock(&sc->mtx_encls);  in sgx_measure_page()
440 	mtx_unlock(&sc->mtx_encls);  in sgx_measure_page()
739 	mtx_lock(&sc->mtx_encls);  in sgx_ioctl_create()
741 	mtx_unlock(&sc->mtx_encls);  in sgx_ioctl_create()
881 	mtx_lock(&sc->mtx_encls);  in sgx_ioctl_add_page()
885 		mtx_unlock(&sc->mtx_encls);  in sgx_ioctl_add_page()
889 	mtx_unlock(&sc->mtx_encls);  in sgx_ioctl_add_page()
968 		mtx_lock(&sc->mtx_encls);  in sgx_ioctl_init()
971 		mtx_unlock(&sc->mtx_encls);  in sgx_ioctl_init()
1156 	mtx_init(&sc->mtx_encls, "SGX ENCLS", NULL, MTX_DEF);  in sgx_load()
1195 	mtx_destroy(&sc->mtx_encls);  in sgx_unload()