On Sat, Nov 25, 2017 at 09:29:24PM +0200, Jarkko Sakkinen wrote: > + ptr = sgx_get_page(page->epc_page); > + ret = __edbgrd((unsigned long)ptr + offset, data); > + sgx_put_page(ptr); > + if (ret) { > + sgx_dbg(encl, "EDBGRD returned %d\n", ret); ~~~~~~ EDBGWR /Jarkko