- /*
- * Palacios Socket Interface Implementation
- * (c) Lei Xia 2010
- */
+/*
+ * 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;