2021-07-19 14:21:15 +03:00
|
|
|
#include "qemu/osdep.h"
|
2021-10-07 20:56:12 +03:00
|
|
|
#include "monitor/monitor.h"
|
|
|
|
#include "monitor/hmp-target.h"
|
2021-07-19 14:21:15 +03:00
|
|
|
#include "hw/i386/pc.h"
|
|
|
|
#include "hw/i386/sgx-epc.h"
|
2021-10-07 20:56:11 +03:00
|
|
|
#include "qapi/error.h"
|
|
|
|
#include "qapi/qapi-commands-misc-target.h"
|
2021-09-10 13:22:56 +03:00
|
|
|
|
2021-10-07 20:56:12 +03:00
|
|
|
SGXInfo *qmp_query_sgx(Error **errp)
|
2021-09-10 13:22:56 +03:00
|
|
|
{
|
|
|
|
error_setg(errp, "SGX support is not compiled in");
|
|
|
|
return NULL;
|
|
|
|
}
|
2021-07-19 14:21:15 +03:00
|
|
|
|
2021-10-07 20:56:11 +03:00
|
|
|
SGXInfo *qmp_query_sgx_capabilities(Error **errp)
|
2021-09-10 13:22:57 +03:00
|
|
|
{
|
|
|
|
error_setg(errp, "SGX support is not compiled in");
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2021-10-07 20:56:12 +03:00
|
|
|
void hmp_info_sgx(Monitor *mon, const QDict *qdict)
|
|
|
|
{
|
|
|
|
monitor_printf(mon, "SGX is not available in this QEMU\n");
|
|
|
|
}
|
|
|
|
|
2021-07-19 14:21:15 +03:00
|
|
|
void pc_machine_init_sgx_epc(PCMachineState *pcms)
|
|
|
|
{
|
|
|
|
memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState));
|
|
|
|
}
|
|
|
|
|
2021-10-07 20:56:10 +03:00
|
|
|
bool sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size)
|
2021-07-19 14:21:15 +03:00
|
|
|
{
|
|
|
|
g_assert_not_reached();
|
|
|
|
}
|