Пример #1
0
static
void exit_event(void)
{
    if (drsys_exit() != DRMF_SUCCESS)
        ASSERT(false, "drsys failed to exit");
    drmgr_exit();
}
Пример #2
0
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();
}
Пример #3
0
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);
}