Searched refs:__edbgwr (Results 1 – 2 of 2) sorted by relevance
190 static inline int __edbgwr(void *addr, unsigned long *data) in __edbgwr() function
287 ret = __edbgwr(sgx_get_epc_virt_addr(page->epc_page) + offset, data); in sgx_encl_debug_write()
Completed in 5 milliseconds