diff options
-rw-r--r-- | schedsim/shell/shared/main_dump_all_cpus.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/schedsim/shell/shared/main_dump_all_cpus.c b/schedsim/shell/shared/main_dump_all_cpus.c index 5f55298..2e1f108 100644 --- a/schedsim/shell/shared/main_dump_all_cpus.c +++ b/schedsim/shell/shared/main_dump_all_cpus.c @@ -65,9 +65,6 @@ int main_dump_all_cpus(int argc, char **argv) if ( argv[cpu + 1][ 0 ] == '-' ) continue; - if ( lookup_task( argv[cpu + 1], &id ) ) - return -1; - if ( !strcmp( argv[cpu + 1], "IDLE" )) { /* XXX should do something cleaner for the ID mask */ if ( (e->Object.id & 0xFFFF0000) != 0x09010000 ) { |