/** HandlePF is the page fault handler for mprotect based snapshotting
* algorithm.
*/
static void HandlePF( int sig, siginfo_t *si, void * unused){
/** HandlePF is the page fault handler for mprotect based snapshotting
* algorithm.
*/
static void HandlePF( int sig, siginfo_t *si, void * unused){