Lines Matching refs:pen_release
37 volatile int __cpuinitdata pen_release = -1;
64 pen_release = -1;
66 clean_dcache_area((void *) &pen_release, sizeof(pen_release));
88 * that it has been released by resetting pen_release.
90 * Note that "pen_release" is the hardware CPU ID, whereas
93 pen_release = cpu;
96 clean_dcache_area((void *) &pen_release, sizeof(pen_release));
97 outer_clean_range(__pa(&pen_release), __pa(&pen_release +
98 sizeof(pen_release)));
112 * be already watching <pen_release>, or it could be
116 if( pen_release != -1 )
123 if (pen_release == -1)
142 return pen_release != -1 ? -ENOSYS : 0;
203 pen_release = -1;