Searched defs:page_type (Results 1 – 2 of 2) sorted by relevance
794 uint64_t page_type; in sgx_ioctl_add_page() local
807 __delete_page(hashp, pagep, page_type) in __delete_page() argument