Searched refs:pmap_update_pde_kernel (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/sys/i386/i386/
H A Dpmap.c433 * pmap_update_pde_kernel() could access allpmaps while it is
1154 pmap_update_pde_kernel(void *arg) function
1224 pmap_update_pde_kernel : pmap_update_pde_user,

Completed in 69 milliseconds