FIXMAP_PMD_NUM
for (i = FIXMAP_PMD_TOP; i > FIXMAP_PMD_TOP - FIXMAP_PMD_NUM; i--)
extern pte_t level1_fixmap_pgt[512 * FIXMAP_PMD_NUM];
(FIXMAP_PMD_NUM * PTRS_PER_PTE));
for (i = 0; i < FIXMAP_PMD_NUM; i++) {