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