void shadow_table_exit(void) { LOG(2, "shadow_table_exit\n"); if (umbra_destroy_mapping(umbra_map) != DRMF_SUCCESS) ASSERT(false, "fail to destroy shadow memory"); }
static void exit_event(void) { if (umbra_destroy_mapping(umbra_map) != DRMF_SUCCESS) DR_ASSERT(false); umbra_exit(); drmgr_exit(); }