int testplugin_stop(void)
{
sys_ppu_thread_t t;
uint64_t exit_code;
sys_ppu_thread_create(&t, testplugin_stop_thread, 0, 0, 0x2000, SYS_PPU_THREAD_CREATE_JOINABLE, STOP_THREAD_NAME);
sys_ppu_thread_join(t, &exit_code);
finalize_module();
_sys_ppu_thread_exit(0);
return SYS_PRX_STOP_OK;
}
int vsh_menu_stop(void)
{
sys_ppu_thread_t t;
uint64_t exit_code;
sys_ppu_thread_create(&t, vsh_menu_stop_thread, 0, 0, 0x2000, 1, STOP_THREAD_NAME);
sys_ppu_thread_join(t, &exit_code);
finalize_module();
_sys_ppu_thread_exit(0);
return SYS_PRX_STOP_OK;
}
int art_stop(void)
{
//if (userCodes)
// _free(userCodes);
finalize_module();
exitThread = 1;
while (exitThread)
{
sys_timer_usleep(1668);
sys_ppu_thread_yield();
}
_sys_ppu_thread_exit(0);
return SYS_PRX_STOP_OK;
}
void finalize_library_module() {
finalize_unification_hint();
finalize_fun_info_manager();
finalize_app_builder();
finalize_congr_lemma_manager();
finalize_light_rule_set();
finalize_type_context();
finalize_class_instance_resolution();
finalize_aux_recursors();
finalize_noncomputable();
finalize_composition_manager();
finalize_user_recursors();
finalize_relation_manager();
finalize_abbreviation();
finalize_normalize();
finalize_projection();
finalize_pp_options();
finalize_library_util();
finalize_class();
finalize_sorry();
finalize_unifier_plugin();
finalize_coercion();
finalize_aliases();
finalize_reducible();
finalize_scoped_ext();
finalize_private();
finalize_protected();
finalize_module();
finalize_explicit();
finalize_annotation();
finalize_resolve_macro();
finalize_string();
finalize_choice();
finalize_typed_expr();
finalize_let();
finalize_kernel_serializer();
finalize_unifier();
finalize_io_state();
finalize_idx_metavar();
finalize_placeholder();
finalize_print();
finalize_fingerprint();
finalize_constants();
finalize_trace();
finalize_attribute_manager();
}
void finalize_library_module() {
finalize_composition_manager();
finalize_class_instance_elaborator();
finalize_user_recursors();
finalize_relation_manager();
finalize_abbreviation();
finalize_normalize();
finalize_projection();
finalize_pp_options();
finalize_library_util();
finalize_class();
finalize_sorry();
finalize_unifier_plugin();
finalize_coercion();
finalize_aliases();
finalize_reducible();
finalize_scoped_ext();
finalize_private();
finalize_protected();
finalize_module();
finalize_explicit();
finalize_annotation();
finalize_resolve_macro();
finalize_string();
finalize_num();
finalize_choice();
finalize_typed_expr();
finalize_let();
finalize_kernel_serializer();
finalize_unifier();
finalize_io_state();
finalize_kernel_bindings();
finalize_idx_metavar();
finalize_placeholder();
finalize_print();
finalize_fingerprint();
finalize_constants();
}
