const void * rtems_monitor_mpci_next( void *object_info, rtems_monitor_mpci_t *canonical_mpci, rtems_id *next_id ) { const rtems_configuration_table *c = &Configuration; int n = rtems_object_id_get_index(*next_id); if (n >= 1) goto failed; if ( ! c->User_multiprocessing_table) goto failed; _Objects_Allocator_lock(); *next_id += 1; return (void *) c; failed: *next_id = RTEMS_OBJECT_ID_FINAL; return 0; }
rtems_timer_service_routine Resume_task( rtems_id timer_id, void *ignored_address ) { rtems_id task_to_resume; rtems_status_code status; task_to_resume = Task_id[ rtems_object_id_get_index( timer_id ) ]; status = rtems_task_resume( task_to_resume ); directive_failed( status, "rtems_task_resume" ); }
rtems_status_code rtems_capture_user_extension_open(void) { rtems_status_code sc; rtems_name name; int index; /* * Register the user extension handlers for the CAPture Engine. */ name = rtems_build_name ('C', 'A', 'P', 'E'); sc = rtems_extension_create (name, &capture_extensions, &capture_id); if (sc != RTEMS_SUCCESSFUL) capture_id = 0; else { index = rtems_object_id_get_index (capture_id); rtems_capture_set_extension_index( index ); } return sc; }
rtems_id rtems_monitor_id_fixup( rtems_id id, uint32_t default_node, rtems_monitor_object_type_t type ) { uint32_t node; node = rtems_object_id_get_node(id); if (node == 0) { if (rtems_object_id_get_class(id) != OBJECTS_CLASSIC_NO_CLASS) type = rtems_object_id_get_class(id); id = rtems_build_id( OBJECTS_CLASSIC_API, type, default_node, rtems_object_id_get_index(id) ); } return id; }
if ( strcasecmp(sp->name, name) == 0 ) return sp; } return NULL; } const void * rtems_monitor_symbol_next( void *object_info, rtems_monitor_symbol_t *canonical RTEMS_UNUSED, rtems_id *next_id ) { rtems_symbol_table_t *table; uint32_t n = rtems_object_id_get_index(*next_id); table = *(rtems_symbol_table_t **) object_info; if (table == 0) goto failed; if (n >= table->next) goto failed; /* NOTE: symbols do not have id and name fields */ if (table->sorted == 0) rtems_symbol_sort(table); _Thread_Disable_dispatch();