Based on discussions from the previous week(end), this series implements a ioctl that performs EREMOVE on all pages mapped by a /dev/sgx_vepc file descriptor. Other possibilities, such as closing and reopening the device, are racy. The patches are untested, but I am posting them because they are simple and so that Yang Zhong can try using them in QEMU. Paolo Paolo Bonzini (2): x86: sgx_vepc: extract sgx_vepc_remove_page x86: sgx_vepc: implement SGX_IOC_VEPC_REMOVE ioctl arch/x86/include/uapi/asm/sgx.h | 2 ++ arch/x86/kernel/cpu/sgx/virt.c | 48 ++++++++++++++++++++++++++++++--- 2 files changed, 47 insertions(+), 3 deletions(-) -- 2.27.0