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