Exemple #1
0
/*---------------------------------------------------------------------------*/
void
shell_checkpoint_init(void)
{
  checkpoint_init();
  shell_register_command(&checkpoint_command);
  shell_register_command(&rollback_command);
}
Exemple #2
0
PUBLIC int
main (void)
{
  checkpoint_t *cp;

  cp = checkpoint_init ();
  return 0;
}