coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
node.h
Go to the documentation of this file.
1 #ifndef _SMP_NODE_H_
2 #define _SMP_NODE_H_
3 
4 #if CONFIG(SMP)
5 int boot_cpu(void);
6 #else
7 #define boot_cpu(x) 1
8 #endif
9 
10 static inline int is_smp_boot(void)
11 {
12  return CONFIG(SMP) && CONFIG_MAX_CPUS > 1;
13 }
14 
15 #endif /* _SMP_NODE_H_ */
@ CONFIG
Definition: dsi_common.h:201
#define boot_cpu(x)
Definition: node.h:7
static int is_smp_boot(void)
Definition: node.h:10