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
284 void pc_machine_init_sgx_epc(PCMachineState *pcms) in pc_machine_init_sgx_epc() function
185 pc_machine_init_sgx_epc(pcms); in pc_q35_init()
190 pc_machine_init_sgx_epc(pcms); in pc_init1()
211 void pc_machine_init_sgx_epc(PCMachineState *pcms);