On Fri, May 29, 2020 at 10:54:04AM -0700, Sean Christopherson wrote: > Add "epc" into the free page helper to match sgx_alloc_epc_page(). > > Signed-off-by: Sean Christopherson <sean.j.christopherson@xxxxxxxxx> Would be better if you find something like this you just send patch against the commit that introduces the symbol. That way the patch would have at least some utilitary use. /Jarkko