1 #include "qemu/osdep.h" 2 #include "monitor/monitor.h" 3 #include "monitor/hmp-target.h" 4 #include "hw/i386/pc.h" 5 #include "hw/i386/sgx-epc.h" 6 #include "qapi/error.h" 7 #include "qapi/qapi-commands-misc-target.h" 8 9 SGXInfo *qmp_query_sgx(Error **errp) 10 { 11 error_setg(errp, "SGX support is not compiled in"); 12 return NULL; 13 } 14 15 SGXInfo *qmp_query_sgx_capabilities(Error **errp) 16 { 17 error_setg(errp, "SGX support is not compiled in"); 18 return NULL; 19 } 20 21 void hmp_info_sgx(Monitor *mon, const QDict *qdict) 22 { 23 monitor_printf(mon, "SGX is not available in this QEMU\n"); 24 } 25 26 void pc_machine_init_sgx_epc(PCMachineState *pcms) 27 { 28 memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState)); 29 } 30 31 bool sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size) 32 { 33 g_assert_not_reached(); 34 } 35