/*
 * Palacios VM Raw Packet interface
 * (c) Lei Xia, 2010
 */

#ifndef __PALACIOS_SOCKET_H__
#define __PALACIOS_SOCKET_H__

int palacios_socket_init(void);

#endif