hw/i386/sgx-stub.c

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