vde_user_write     30 arch/um/drivers/vde.h extern int vde_user_write(void *conn, void *buf, int len);
vde_user_write     56 arch/um/drivers/vde_kern.c 		return vde_user_write((void *)pri->conn, skb->data,