Searched defs:boot_cpu (Results 1 – 4 of 4) sorted by relevance
109 uint32_t boot_cpu = 0; in main() local
852 uint32_t boot_cpu = 0; member in dtc::fdt::device_tree
993 cpu_add(u_int apic_id, char boot_cpu) in cpu_add()
575 lapic_create(u_int apic_id, int boot_cpu) in lapic_create()