palacios/include/devices/ramdisk.h

   1 /*
   2  * Zheng Cui
   3  * cuizheng@cs.unm.edu
   4  * July 2008
   5  */
   6
   7 #ifndef __DEVICES_RAMDISK_H_
   8 #define __DEVICES_RAMDISK_H_
   9
  10 #include <stddef.h> //for off_t in C99
  11 #include <sys/types.h> //for size_t
  12 #include <geekos/ktypes.h>
  13 #include <devices/cdrom.h>
  14 #include <palacios/vm_dev.h>
  15
  16 struct vm_device * create_ramdisk(void);
  17
  18 #endif