On Thu, May 16, 2019 at 05:03:31PM -0700, Sean Christopherson wrote:

The SGX ioctl() would need to take mmap_sem for write, but we can mitigate
that issue by changing the ioctl() to take a range of memory instead of a
single page.  That'd also provide "EADD batching" that folks have
requested.

This should be easy enough to add as the EADD operations are already
batched internally to a worker thread.

/Jarkko