On 11/15/18 5:01 PM, Jarkko Sakkinen wrote: > The SGX bit is set in the #PF error code if and only if the fault is > detected by the Enclave Page Cache Map (EPCM), a hardware-managed > table that enforces the paging permissions defined by the enclave, > e.g. to prevent the kernel from changing the permissions of an > enclave's page(s). This should probably also mention that, despite being a page fault, X86_PF_SGX has nothing to do with paging itself.