Symbol: pmap_pvp_dtor
sys/arch/x86/x86/pmap.c
1946
IPL_NONE, pmap_pvp_ctor, pmap_pvp_dtor, NULL);
sys/arch/x86/x86/pmap.c
522
static void pmap_pvp_dtor(void *, void *);