1 /* SPDX-License-Identifier: GPL-2.0 */
13 unsigned long _pad
[3]; /* pad to cache line size to avoid thrashing */
19 #define LOG2CPULAUNCH 5
24 #define LAUNCH_FLAGS 28
28 #define LAUNCH_FREADY 1
30 #define LAUNCH_FGONE 4
32 #define CPULAUNCH 0x00000f00
35 /* Polling period in count cycles for secondary CPU's */
36 #define LAUNCHPERIOD 10000