sgx-stub.c 874 B

12345678910111213141516171819202122232425262728293031323334353637383940414243
  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. void sgx_epc_build_srat(GArray *table_data)
  9. {
  10. }
  11. SGXInfo *qmp_query_sgx(Error **errp)
  12. {
  13. error_setg(errp, "SGX support is not compiled in");
  14. return NULL;
  15. }
  16. SGXInfo *qmp_query_sgx_capabilities(Error **errp)
  17. {
  18. error_setg(errp, "SGX support is not compiled in");
  19. return NULL;
  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. void pc_machine_init_sgx_epc(PCMachineState *pcms)
  26. {
  27. memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState));
  28. }
  29. bool check_sgx_support(void)
  30. {
  31. return false;
  32. }
  33. bool sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size)
  34. {
  35. return true;
  36. }