sgx_get_epc_virt_addr
ret = __epa(sgx_get_epc_virt_addr(epc_page));
ret = __eremove(sgx_get_epc_virt_addr(page));
pginfo.secs = (u64)sgx_get_epc_virt_addr(secs_page);
ret = __eldu(&pginfo, sgx_get_epc_virt_addr(epc_page),
sgx_get_epc_virt_addr(encl_page->va_page->epc_page) + va_offset);
pginfo.secs = (unsigned long)sgx_get_epc_virt_addr(encl->secs.epc_page);
ret = __eaug(&pginfo, sgx_get_epc_virt_addr(epc_page));
ret = __edbgrd(sgx_get_epc_virt_addr(page->epc_page) + offset, data);
ret = __edbgwr(sgx_get_epc_virt_addr(page->epc_page) + offset, data);
ret = __ecreate((void *)&pginfo, sgx_get_epc_virt_addr(secs_epc));
epc_virt = sgx_get_epc_virt_addr(entry->epc_page);
pginfo.secs = (unsigned long)sgx_get_epc_virt_addr(encl->secs.epc_page);
ret = __eadd(&pginfo, sgx_get_epc_virt_addr(epc_page));
ret = __eextend(sgx_get_epc_virt_addr(encl->secs.epc_page),
sgx_get_epc_virt_addr(epc_page) + offset);
addr = sgx_get_epc_virt_addr(encl->secs.epc_page);
epc_virt = sgx_get_epc_virt_addr(encl->secs.epc_page);
epc_virt = sgx_get_epc_virt_addr(entry->epc_page);
epc_virt = sgx_get_epc_virt_addr(entry->epc_page);
ret = __eblock(sgx_get_epc_virt_addr(epc_page));
ret = __ewb(&pginfo, sgx_get_epc_virt_addr(epc_page), va_slot);
va_slot = sgx_get_epc_virt_addr(va_page->epc_page) + va_offset;
ret = __etrack(sgx_get_epc_virt_addr(encl->secs.epc_page));
ret = __eremove(sgx_get_epc_virt_addr(page));
return __eremove(sgx_get_epc_virt_addr(epc_page));