Symbol: pmap_update_pde_teardown
sys/amd64/amd64/pmap.c
3493
pmap_update_pde_teardown(void *arg)
sys/i386/i386/pmap.c
1335
pmap_update_pde_teardown(void *arg)