Searched refs:srcpge (Results 1 – 2 of 2) sorted by relevance
71 uint64_t srcpge; member
690 pginfo.srcpge = (uint64_t)secs; in sgx_ioctl_create()865 pginfo.srcpge = (uint64_t)tmp_vaddr; in sgx_ioctl_add_page()