vde_user_read      29 arch/um/drivers/vde.h extern int vde_user_read(void *conn, void *buf, int len);
vde_user_read      44 arch/um/drivers/vde_kern.c 		return vde_user_read(pri->conn, skb_mac_header(skb),