1*1dec2e1fSSean Christopherson #include "qemu/osdep.h" 2*1dec2e1fSSean Christopherson #include "hw/i386/pc.h" 3*1dec2e1fSSean Christopherson #include "hw/i386/sgx-epc.h" 4*1dec2e1fSSean Christopherson 5*1dec2e1fSSean Christopherson void pc_machine_init_sgx_epc(PCMachineState *pcms) 6*1dec2e1fSSean Christopherson { 7*1dec2e1fSSean Christopherson memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState)); 8*1dec2e1fSSean Christopherson } 9*1dec2e1fSSean Christopherson 10*1dec2e1fSSean Christopherson int sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size) 11*1dec2e1fSSean Christopherson { 12*1dec2e1fSSean Christopherson g_assert_not_reached(); 13*1dec2e1fSSean Christopherson } 14