schedctl_freepage
schedctl_freepage(pagep->spc_amp, (caddr_t)(pagep->spc_base));
schedctl_freepage(amp, kaddr);
static void schedctl_freepage(struct anon_map *, caddr_t);