snapshot: use %p for printing pointers
authorBrian Norris <banorris@uci.edu>
Fri, 25 May 2012 00:14:30 +0000 (17:14 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 25 May 2012 23:46:54 +0000 (16:46 -0700)
snapshot.cc

index 0362994daf50354d6a34991ab07294fed4fc19ce..3666667e1fa2886da1d0684c96bfd873b7f5c40e 100644 (file)
@@ -76,13 +76,13 @@ void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsnapshots,
 void HandlePF( int sig, siginfo_t *si, void * unused){
 #if USE_CHECKPOINTING
        if( si->si_code == SEGV_MAPERR ){
-               printf("Real Fault at %llx\n", ( long long )si->si_addr);
+               printf("Real Fault at %p\n", si->si_addr);
                exit( EXIT_FAILURE );
        }
        void* addr = ReturnPageAlignedAddress(si->si_addr);
        unsigned int backingpage=snapshotrecord->lastBackingPage++; //Could run out of pages...
        if (backingpage==snapshotrecord->maxBackingPages) {
-               printf("Out of backing pages at %llx\n", ( long long )si->si_addr);
+               printf("Out of backing pages at %p\n", si->si_addr);
                exit( EXIT_FAILURE );
        }