found_boot_cpu     64 arch/riscv/kernel/smpboot.c 	bool found_boot_cpu = false;
found_boot_cpu     73 arch/riscv/kernel/smpboot.c 			BUG_ON(found_boot_cpu);
found_boot_cpu     74 arch/riscv/kernel/smpboot.c 			found_boot_cpu = 1;
found_boot_cpu     87 arch/riscv/kernel/smpboot.c 	BUG_ON(!found_boot_cpu);