linux_module/palacios-keyed-stream.h

   1 /*
   2  * Palacios VM Keyed Stream Interface (for checkpoint/restore)
   3  * Copyright (c) 2011 Peter Dinda <pdinda@northwestern.edu>
   4  */
   5
   6 #ifndef __PALACIOS_KEYED_STREAM_H__
   7 #define __PALACIOS_KEYED_STREAM_H__
   8
   9
  10
  11 int palacios_init_keyed_streams(void);
  12 int palacios_deinit_keyed_streams(void);
  13
  14
  15 #endif