pico/osdep/chkpoint.h

   1 /*
   2  * $Id: chkpoint.h 776 2007-10-24 23:14:26Z hubert@u.washington.edu $
   3  *
   4  * ========================================================================
   5  * Copyright 2006 University of Washington
   6  *
   7  * Licensed under the Apache License, Version 2.0 (the "License");
   8  * you may not use this file except in compliance with the License.
   9  * You may obtain a copy of the License at
  10  *
  11  *     http://www.apache.org/licenses/LICENSE-2.0
  12  *
  13  * ========================================================================
  14  */
  15
  16 #ifndef PICO_OSDEP_CHKPOINT_INCLUDED
  17 #define PICO_OSDEP_CHKPOINT_INCLUDED
  18
  19
  20 /* exported prototypes */
  21 void    chkptinit(char *, size_t);
  22
  23
  24 #endif /* PICO_OSDEP_CHKPOINT_INCLUDED */