schedctl_getpage
if ((error = schedctl_getpage(&, &kaddr)) != 0) {
static int schedctl_getpage(struct anon_map **, caddr_t *);