kcage_invalidate_page
return (kcage_invalidate_page(pp, nfreedp));
if (kcage_invalidate_page(pp, &nfreed) == 0) {
static int kcage_invalidate_page(page_t *, pgcnt_t *);