-/*
- * This file is part of the Palacios Virtual Machine Monitor developed
- * by the V3VEE Project with funding from the United States National
- * Science Foundation and the Department of Energy.
- *
- * The V3VEE Project is a joint project between Northwestern University
- * and the University of New Mexico. You can find out more at
- * http://www.v3vee.org
- *
- * Copyright (c) 2010, Lei Xia <lxia@northwestern.edu>
- * Copyright (c) 2010, The V3VEE Project <http://www.v3vee.org>
- * All rights reserved.
- *
- * This is free software. You are permitted to use, redistribute,
- * and modify it under the terms of the GNU General Public License
- * Version 2 (GPLv2). The accompanying COPYING file contains the
- * full text of the license.
+/*
+ * Palacios Socket Interface Implementation
+ * (c) Lei Xia 2010
*/
+
#include <interfaces/vmm_socket.h>
vm_state = get_vm_ext_data(guest, "SOCKET_INTERFACE");
if (vm_state == NULL) {
- printk("ERROR: Could not locate vm socket state for extension SOCKET_INTERFACE\n");
+ ERROR("ERROR: Could not locate vm socket state for extension SOCKET_INTERFACE\n");
return NULL;
}
}
vm_state = get_vm_ext_data(guest, "SOCKET_INTERFACE");
if (vm_state == NULL) {
- printk("ERROR: Could not locate vm socket state for extension SOCKET_INTERFACE\n");
+ ERROR("ERROR: Could not locate vm socket state for extension SOCKET_INTERFACE\n");
return NULL;
}
}
vm_state = get_vm_ext_data(sock->guest, "SOCKET_INTERFACE");
if (vm_state == NULL) {
- printk("ERROR: Could not locate vm socket state for extension SOCKET_INTERFACE\n");
+ ERROR("Could not locate vm socket state for extension SOCKET_INTERFACE\n");
return NULL;
}
}
static int socket_deinit( void ) {
if (!list_empty(&(global_sockets))) {
- printk("Error removing module with open sockets\n");
+ ERROR("Error removing module with open sockets\n");
}
return 0;