The hot restart programming interface is declared in the following files:
For the Persistent Memory Manager API:
install_dir/chorus-family/kernel/include/chorus/pmm/chPmm.h
For the Hot Restart Controller API:
install_dir/chorus-family/os/include/chorus/hr/hr.h
install_dir/chorus-family/os/include/chorus/hr/hrCtrl.h
Detailed descriptions of each function call are available in the ChorusOS man pages.