1 #include "qemu/osdep.h" 2 #include "hw/i386/pc.h" 3 #include "hw/i386/sgx-epc.h" 4 #include "hw/i386/sgx.h" 5 6 SGXInfo *sgx_get_info(Error **errp) 7 { 8 error_setg(errp, "SGX support is not compiled in"); 9 return NULL; 10 } 11 12 void pc_machine_init_sgx_epc(PCMachineState *pcms) 13 { 14 memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState)); 15 } 16 17 int sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size) 18 { 19 g_assert_not_reached(); 20 } 21