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