include/hw/i386/sgx-epc.h | 2 +- include/hw/i386/sgx.h | 12 ------------ hw/i386/sgx-stub.c | 16 ++++++++++++---- hw/i386/sgx.c | 35 +++++++++++++++++++++++++++++------ target/i386/monitor.c | 32 -------------------------------- MAINTAINERS | 1 + 6 files changed, 43 insertions(+), 55 deletions(-) delete mode 100644 include/hw/i386/sgx.h