hw/i386/sgx-stub.c

   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 void sgx_epc_build_srat(GArray *table_data)
  10 {
  11 }
  12
  13 SGXInfo *qmp_query_sgx(Error **errp)
  14 {
  15     error_setg(errp, "SGX support is not compiled in");
  16     return NULL;
  17 }
  18
  19 SGXInfo *qmp_query_sgx_capabilities(Error **errp)
  20 {
  21     error_setg(errp, "SGX support is not compiled in");
  22     return NULL;
  23 }
  24
  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
  30 void pc_machine_init_sgx_epc(PCMachineState *pcms)
  31 {
  32     memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState));
  33 }
  34
  35 bool sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size)
  36 {
  37     g_assert_not_reached();
  38 }