Searched refs:memory_page_types (Results 1 – 1 of 1) sorted by relevance
88 unsigned char *memory_page_types; /* packed array of 4 bit typeId */ variable217 memory_page_types = alloc(memory_table_size); in init_datastructures()218 if (!memory_page_types) in init_datastructures()291 osmemory_read_arrangement_table(memory_page_types); in get_memory_configuration()303 page = memory_page_types[loop / 2]; /* read twice */ in get_memory_configuration()