Home
last modified time | relevance | path

Searched refs:free_pde_idx (Results 1 – 2 of 2) sorted by relevance

/minix/minix/kernel/arch/earm/
H A Dmemory.c73 int free_pde_idx, /* index of the free slot to use */ in createpde() argument
81 assert(free_pde_idx >= 0 && free_pde_idx < nfreepdes); in createpde()
82 pde = freepdes[free_pde_idx]; in createpde()
/minix/minix/kernel/arch/i386/
H A Dmemory.c73 int free_pde_idx, /* index of the free slot to use */ in createpde() argument
81 assert(free_pde_idx >= 0 && free_pde_idx < nfreepdes); in createpde()
82 pde = freepdes[free_pde_idx]; in createpde()