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