Searched refs:sgx_epc_reset (Results 1 – 1 of 1) sorted by relevance
116 static void sgx_epc_reset(void *opaque) in sgx_epc_reset() function334 qemu_register_reset(sgx_epc_reset, NULL); in pc_machine_init_sgx_epc()