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