static void exit_event(void) { if (drsys_exit() != DRMF_SUCCESS) ASSERT(false, "drsys failed to exit"); drmgr_exit(); }
static void exit_event(void) { drsys_gateway_t gateway; if (drsys_syscall_gateway(&gateway) != DRMF_SUCCESS || gateway == DRSYS_GATEWAY_UNKNOWN) ASSERT(false, "drsys failed to determine syscall gateway"); if (drsys_exit() != DRMF_SUCCESS) ASSERT(false, "drsys failed to exit"); dr_fprintf(STDERR, "TEST PASSED\n"); drmgr_exit(); }
static void exit_event(void) { if (outf != STDERR) dr_close_file(outf); if (drsys_exit() != DRMF_SUCCESS) ASSERT(false, "drsys failed to exit"); drsym_exit(); drx_exit(); drmgr_exit(); hashtable_delete(&nconsts_table); }