vde_init_libstuff   27 arch/um/drivers/vde.h extern void vde_init_libstuff(struct vde_data *vpri, struct vde_init *init);
vde_init_libstuff   34 arch/um/drivers/vde_kern.c 	vde_init_libstuff(vpri, init);