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