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 #include "qapi/error.h" 6 #include "qapi/qapi-commands-misc-target.h" 7 8 SGXInfo *sgx_get_info(Error **errp) 9 { 10 error_setg(errp, "SGX support is not compiled in"); 11 return NULL; 12 } 13 14 SGXInfo *qmp_query_sgx_capabilities(Error **errp) 15 { 16 error_setg(errp, "SGX support is not compiled in"); 17 return NULL; 18 } 19 20 void pc_machine_init_sgx_epc(PCMachineState *pcms) 21 { 22 memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState)); 23 } 24 25 bool sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size) 26 { 27 g_assert_not_reached(); 28 } 29