watched_page_t
const watched_page_t *pa = a;
const watched_page_t *pb = b;
watched_page_t *p_wprot; /* pages that need to have prot set */
