Searched refs:watched_page_t (Results 1 – 3 of 3) sorted by relevance
73 } watched_page_t; typedef
245 watched_page_t *p_wprot; /* pages that need to have prot set */
1584 const watched_page_t *pa = a; in wp_compare()1585 const watched_page_t *pb = b; in wp_compare()