11dec2e1fSSean Christopherson #include "qemu/osdep.h" 21dec2e1fSSean Christopherson #include "hw/i386/pc.h" 31dec2e1fSSean Christopherson #include "hw/i386/sgx-epc.h" 457d874c4SYang Zhong #include "hw/i386/sgx.h" 557d874c4SYang Zhong 657d874c4SYang Zhong SGXInfo *sgx_get_info(Error **errp) 757d874c4SYang Zhong { 857d874c4SYang Zhong error_setg(errp, "SGX support is not compiled in"); 957d874c4SYang Zhong return NULL; 1057d874c4SYang Zhong } 111dec2e1fSSean Christopherson 120205c4faSYang Zhong SGXInfo *sgx_get_capabilities(Error **errp) 130205c4faSYang Zhong { 140205c4faSYang Zhong error_setg(errp, "SGX support is not compiled in"); 150205c4faSYang Zhong return NULL; 160205c4faSYang Zhong } 170205c4faSYang Zhong 181dec2e1fSSean Christopherson void pc_machine_init_sgx_epc(PCMachineState *pcms) 191dec2e1fSSean Christopherson { 201dec2e1fSSean Christopherson memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState)); 211dec2e1fSSean Christopherson } 221dec2e1fSSean Christopherson 23*05fc8db7SPhilippe Mathieu-Daudé bool sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size) 241dec2e1fSSean Christopherson { 251dec2e1fSSean Christopherson g_assert_not_reached(); 261dec2e1fSSean Christopherson } 27