| boot32.c | 283 int loop, current_page_type, page_count, phys_page; local in function:get_memory_configuration 296 current_page_type = -1; 311 if (page != current_page_type) { 317 switch (current_page_type) { 353 "memory object %d ", current_page_type); 360 current_page_type = page;
|