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