1 #include "qemu/osdep.h" 2 #include "hw/i386/pc.h" 3 #include "hw/i386/sgx-epc.h" 4 5 void pc_machine_init_sgx_epc(PCMachineState *pcms) 6 { 7 memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState)); 8 } 9 10 int sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size) 11 { 12 g_assert_not_reached(); 13 } 14