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?

Reply via email to