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 SGXInfo *sgx_get_capabilities(Error **errp) 13 { 14 error_setg(errp, "SGX support is not compiled in"); 15 return NULL; 16 } 17 18 void pc_machine_init_sgx_epc(PCMachineState *pcms) 19 { 20 memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState)); 21 } 22 23 int sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size) 24 { 25 g_assert_not_reached(); 26 } 27