/*++++++++++++++++++++++++++++++ sig_bus() ++++++++++++++++++++++++++++++*/ static void sig_bus(int signo) { system_log(FATAL_SIGN, __FILE__, __LINE__, "Uuurrrggh! Received SIGBUS."); stat_exit(); /* Dump core so we know what happened. */ abort(); }
/*++++++++++++++++++++++++++++++ sig_segv() +++++++++++++++++++++++++++++*/ static void sig_segv(int signo) { system_log(FATAL_SIGN, __FILE__, __LINE__, "Aaarrrggh! Received SIGSEGV."); stat_exit(); /* Dump core so we know what happened. */ abort(); }
void exitStorage (void) { updateNurseriesStats(); stat_exit(); }
void exitStorage (void) { lnat allocated = updateNurseriesStats(); stat_exit(allocated); }
void exitStorage (void) { stat_exit(calcAllocated(rtsTrue)); }