Searched refs:pmap_pmap_pool_dtor (Results 1 – 1 of 1) sorted by relevance
454 static void pmap_pmap_pool_dtor(void *, void *);4157 IPL_NONE, pmap_pmap_pool_ctor, pmap_pmap_pool_dtor, NULL); in pmap_init()4387 pmap_pmap_pool_dtor(void *arg, void *object) in pmap_pmap_pool_dtor() function