Searched defs:pc_machine_init_sgx_epc (Results 1 – 2 of 2) sorted by relevance
30 void pc_machine_init_sgx_epc(PCMachineState *pcms) in pc_machine_init_sgx_epc() function
296 void pc_machine_init_sgx_epc(PCMachineState *pcms) in pc_machine_init_sgx_epc() function