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
sgx_epc_build_srat(GArray * table_data)9 void sgx_epc_build_srat(GArray *table_data)
10 {
11 }
12
qmp_query_sgx(Error ** errp)13 SGXInfo *qmp_query_sgx(Error **errp)
14 {
15 error_setg(errp, "SGX support is not compiled in");
16 return NULL;
17 }
18
qmp_query_sgx_capabilities(Error ** errp)19 SGXInfo *qmp_query_sgx_capabilities(Error **errp)
20 {
21 error_setg(errp, "SGX support is not compiled in");
22 return NULL;
23 }
24
hmp_info_sgx(Monitor * mon,const QDict * qdict)25 void hmp_info_sgx(Monitor *mon, const QDict *qdict)
26 {
27 monitor_printf(mon, "SGX is not available in this QEMU\n");
28 }
29
pc_machine_init_sgx_epc(PCMachineState * pcms)30 void pc_machine_init_sgx_epc(PCMachineState *pcms)
31 {
32 memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState));
33 }
34
check_sgx_support(void)35 bool check_sgx_support(void)
36 {
37 return false;
38 }
39
sgx_epc_get_section(int section_nr,uint64_t * addr,uint64_t * size)40 bool sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size)
41 {
42 return true;
43 }
44