Searched refs:hdescn (Results 1 – 1 of 1) sorted by relevance
1183 int hdescn = (int) ((hdesce - hdescc) / PAGE_SIZE); in doublemap_init() local1184 for (int j = 0; j < MIN(PTE_PER_PAGE, hdescn); j++) { in doublemap_init()