Searched refs:nfreepdes (Results 1 – 2 of 2) sorted by relevance
26 static int nfreepdes = 0; variable38 for(i = 0; i < nfreepdes; i++) { in mem_clear_mapcache()81 assert(free_pde_idx >= 0 && free_pde_idx < nfreepdes); in createpde()614 assert(nfreepdes == 0); in memory_init()616 freepdes[nfreepdes++] = kinfo.freepde_start++; in memory_init()617 freepdes[nfreepdes++] = kinfo.freepde_start++; in memory_init()620 assert(nfreepdes == 2); in memory_init()621 assert(nfreepdes <= MAXFREEPDES); in memory_init()
29 static int nfreepdes = 0; variable38 for(i = 0; i < nfreepdes; i++) { in mem_clear_mapcache()81 assert(free_pde_idx >= 0 && free_pde_idx < nfreepdes); in createpde()709 assert(nfreepdes == 0); in memory_init()711 freepdes[nfreepdes++] = kinfo.freepde_start++; in memory_init()712 freepdes[nfreepdes++] = kinfo.freepde_start++; in memory_init()715 assert(nfreepdes == 2); in memory_init()716 assert(nfreepdes <= MAXFREEPDES); in memory_init()