Showing error 1694

User: Jiri Slaby
Error type: Double Lock
Error type description: Some lock is locked twice unintentionally in a sequence
File location: init/main.c
Line in file: 601
Project: Linux Kernel
Project version: 2.6.28
Tools: Smatch (1.59)
Entered: 2013-09-10 14:01:52 UTC

Source: 

571        printk(linux_banner);
572        setup_arch(&command_line);
573        mm_init_owner(&init_mm, &init_task);
574        setup_command_line(command_line);
575        unwind_setup();
576        setup_per_cpu_areas();
577        setup_nr_cpu_ids();
578        smp_prepare_boot_cpu();        /* arch-specific boot-cpu hooks */
579
580        /*
581         * Set up the scheduler prior starting any interrupts (such as the
582         * timer interrupt). Full topology setup happens at smp_init()
583         * time - but meanwhile we still have a functioning scheduler.
584         */
585        sched_init();
586        /*
587         * Disable preemption - early bootup scheduling is extremely
588         * fragile until we cpu_idle() for the first time.
589         */
590        preempt_disable();
591        build_all_zonelists();
592        page_alloc_init();
593        printk(KERN_NOTICE "Kernel command line: %s\n", boot_command_line);
594        parse_early_param();
595        parse_args("Booting kernel", static_command_line, __start___param,
596                   __stop___param - __start___param,
597                   &unknown_bootoption);
598        if (!irqs_disabled()) {
599                printk(KERN_WARNING "start_kernel(): bug: interrupts were "
600                                "enabled *very* early, fixing it\n");
601                local_irq_disable();
602        }
603        sort_main_extable();
604        trap_init();
605        rcu_init();
606        init_IRQ();
607        pidhash_init();
608        init_timers();
609        hrtimers_init();
610        softirq_init();
611        timekeeping_init();
Show full sources
↑