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