14 lines
290 B
C
14 lines
290 B
C
|
#include "qemu/osdep.h"
|
||
|
|
#include "hw/i386/pc.h"
|
||
|
|
#include "hw/i386/sgx-epc.h"
|
||
|
|
|
||
|
|
void pc_machine_init_sgx_epc(PCMachineState *pcms)
|
||
|
|
{
|
||
|
|
memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState));
|
||
|
|
}
|
||
|
|
|
||
|
|
int sgx_epc_get_section(int section_nr, uint64_t *addr, uint64_t *size)
|
||
|
|
{
|
||
|
|
g_assert_not_reached();
|
||
|
|
}
|