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