Searched refs:pc_machine_init_sgx_epc (Results 1 – 5 of 5) 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
189 pc_machine_init_sgx_epc(pcms); in pc_q35_init()
183 pc_machine_init_sgx_epc(pcms); in pc_init1()
216 void pc_machine_init_sgx_epc(PCMachineState *pcms);