Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added 64 bit operand support
[palacios.git] / palacios / include / devices / serial.h
index 36bd07c..78ff076 100644 (file)
@@ -1,4 +1,4 @@
-/*
+/* 
  * 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.  
  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  */
 
+#ifndef __DEVICES_SERIAL_H__
+#define __DEVICES_SERIAL_H__
 
-#ifndef __SERIAL_H__
-#define __SERIAL_H__
+#ifdef __V3VEE__
 
+/* Really need to find clean way to allow a backend stream device to be attachable
+   to different kinds of frontend devices that can act as a stream */
 
+struct v3_stream_ops  {
+    /* called by serial device to the backend stream device */
+    int (*read)(char *buf, uint_t len, void *private_data);
+    int (*write)(char *buf, uint_t len, void *private_data);
 
-#include <palacios/vm_dev.h>
+    /* called by backend device to frontend serial device */
+    int (*input)(char *buf, uint_t len, void *front_data);
+    void *front_data;
+};
 
 
+int v3_stream_register_serial(struct vm_device * serial_dev, struct v3_stream_ops * ops, void * private_data);
+
+#endif // ! __V3VEE__
 
-struct vm_device * create_serial();
 
 #endif