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