Symbol: bpge_dtor
sys/arch/xen/xen/balloon.c
154
static void bpge_dtor(void *, void *);
sys/arch/xen/xen/balloon.c
231
0, 0, 0, "xen_bpge", NULL, IPL_NONE, bpge_ctor, bpge_dtor, NULL);