Searched defs:page_type (Results 1 – 2 of 2) sorted by relevance
787 uint64_t page_type; in sgx_ioctl_add_page() local
1045 } page_type; typedef