Searched refs:mapped_screen_memory (Results 1 – 1 of 1) sorted by relevance
285 int mapped_screen_memory; in get_memory_configuration() local380 mapped_screen_memory = 1024 * 1024; /* max allowed on RiscPC */ in get_memory_configuration()381 videomem_pages = (mapped_screen_memory / nbpp); in get_memory_configuration()386 mapped_screen_memory = display_size; in get_memory_configuration()387 videomem_pages = mapped_screen_memory / nbpp; in get_memory_configuration()426 mapped_screen_memory = 0; in get_memory_configuration()432 if (mapped_screen_memory) { in get_memory_configuration()433 printf("Used %d kb DRAM ", mapped_screen_memory / 1024); in get_memory_configuration()