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