kcage_freemem_add
extern void kcage_freemem_add(pgcnt_t);
kcage_freemem_add(1);
kcage_freemem_add(pgcnt);