taglinefilesource code
first_cpu531init/main.cstatic int first_cpu=1;
first_cpu533init/main.cif(!first_cpu)
first_cpu535init/main.cfirst_cpu=0;