/* * Palacios VM Keyed Stream Interface (for checkpoint/restore) * Copyright (c) 2011 Peter Dinda */ #ifndef __PALACIOS_KEYED_STREAM_H__ #define __PALACIOS_KEYED_STREAM_H__ int palacios_init_keyed_streams(void); int palacios_deinit_keyed_streams(void); #endif