Searched refs:srcpge (Results 1 - 2 of 2) sorted by relevance

/freebsd-13-stable/sys/amd64/include/
H A Dsgxreg.h73 uint64_t srcpge; member in struct:page_info
/freebsd-13-stable/sys/amd64/sgx/
H A Dsgx.c695 pginfo.srcpge = (uint64_t)secs;
870 pginfo.srcpge = (uint64_t)tmp_vaddr;

Completed in 52 milliseconds