void vrtxmx_cleanup(void) { xnholder_t *holder; while ((holder = getheadq(&vrtx_mx_q)) != NULL) mx_destroy_internal(link2vrtxmx(holder)); xnmap_delete(vrtx_mx_idmap); }
void uiflag_cleanup(void) { ui_flag_flush_rq(&__ui_global_rholder.flgq); xnmap_delete(ui_flag_idmap); }
void uimbx_cleanup(void) { ui_mbx_flush_rq(&__ui_global_rholder.mbxq); xnmap_delete(ui_mbx_idmap); }