qemu-e2k/include/hw/i386/sgx.h