On Thu, May 28, 2020 at 07:27:24PM +0200, Borislav Petkov wrote: > On Thu, May 28, 2020 at 10:19:37AM -0700, Sean Christopherson wrote: > > 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? > > Whatever you guys prefer. I'd use "sgx_alloc_page" because it returns > struct sgx_epc_page * but having "epc" in the name makes it even more > explicit so either is just fine. sgx_alloc_page() works for me, I just wanted to make sure it wasn't a typo. Thanks!
