Home | History | Annotate | Download | only in pbsdboot

Lines Matching defs:leaf

90 	for (i = 0; p = map->leaf[i / map->leafsize][i % map->leafsize]; i++)  {
93 i, map->leaf[i / map->leafsize][i % map->leafsize]);
96 i, map->leaf[i / map->leafsize][i % map->leafsize]);
99 map->leaf[i / map->leafsize][i % map->leafsize] = p;
103 if ((p = vtophysaddr((void *)map->leaf[i])) == NULL) {
104 debug_printf(TEXT("vtophysaddr() failed, leaf %d (addr=0x%x) \n"),
105 i, map->leaf[i / map->leafsize][i % map->leafsize]);
107 TEXT("vtophysaddr() failed, leaf %d (addr=0x%x) \n"),
108 i, map->leaf[i / map->leafsize][i % map->leafsize]);
111 map->leaf[i] = (void **)p;
177 return (map->leaf[pageno / map->leafsize][pageno % map->leafsize] + offset);
222 * map leaf pages.
343 * allocate leaf pages
346 if ((map->leaf[i] = (void **)vmem_alloc()) == NULL) {
347 debug_printf(TEXT("can't allocate leaf page.\n"));
348 msg_printf(MSG_ERROR, whoami, TEXT("can't allocate leaf page.\n"));
357 void **leaf = map->leaf[i / map->leafsize];
358 if ((leaf[i % map->leafsize] = alloc_kpage(start)) == NULL) {
364 map->leaf[i / map->leafsize][i % map->leafsize] = NULL; /* END MARK */