Searched refs:page_encoding_index (Results 1 – 1 of 1) sorted by relevance
1325 uint32_t page_encoding_index = in print_second_level_index_compressed() local1330 (page_encoding_index * sizeof(uint32_t)))); in print_second_level_index_compressed()