Symbol: pmap_deferred_init
sys/arch/usermode/usermode/pmap.c
121
static void pmap_deferred_init(void);
sys/arch/usermode/usermode/pmap.c
494
pmap_deferred_init();