Searched refs:boot_cpu (Results 1 – 7 of 7) sorted by relevance
109 uint32_t boot_cpu = 0; in main() local250 boot_cpu = (uint32_t)strtoll(optarg, 0, 10); in main()335 tree.set_boot_cpu(boot_cpu); in main()
852 uint32_t boot_cpu = 0; member in dtc::fdt::device_tree1020 boot_cpu = cpu; in set_boot_cpu()
1787 head.boot_cpuid_phys = boot_cpu; in write()1859 boot_cpu = h.boot_cpuid_phys; in parse_dtb()
93 void cpu_add(u_int apic_id, char boot_cpu);
215 void lapic_create(u_int apic_id, int boot_cpu);
993 cpu_add(u_int apic_id, char boot_cpu) in cpu_add() argument1002 if (boot_cpu) { in cpu_add()1010 printf("SMP: Added CPU %u (%s)\n", apic_id, boot_cpu ? "BSP" : in cpu_add()
575 lapic_create(u_int apic_id, int boot_cpu) in lapic_create() argument581 if (boot_cpu) in lapic_create()616 cpu_add(apic_id, boot_cpu); in lapic_create()