| 1 | #include "qemu/osdep.h" |
| 2 | #include "monitor/monitor.h" |
| 3 | #include "monitor/hmp.h" |
| 4 | #include "hw/i386/pc.h" |
| 5 | #include "hw/i386/sgx-epc.h" |
| 6 | #include "qapi/qapi-commands-misc-i386.h" |
| 7 | #include "qapi/error.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 pc_machine_init_sgx_epc(PCMachineState *pcms) |
| 26 | { |
| 27 | memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState)); |
| 28 | } |
| 29 | |
| 30 | bool check_sgx_support(void) |
| 31 | { |
| 32 | return false; |
| 33 | } |
| 34 | |
| 35 | bool sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size) |
| 36 | { |
| 37 | return true; |
| 38 | } |