On Thu, May 28, 2020 at 07:16:35PM +0200, Borislav Petkov wrote: > * sgx_alloc_page - allocates an EPC page Did you want this to be sgx_alloc_epc_page?
On Thu, May 28, 2020 at 07:16:35PM +0200, Borislav Petkov wrote: > * sgx_alloc_page - allocates an EPC page Did you want this to be sgx_alloc_epc_page?