Lines Matching refs:pen_release
39 volatile int __cpuinitdata pen_release = -1;
63 pen_release = -1;
86 * that it has been released by resetting pen_release.
88 * Note that "pen_release" is the hardware CPU ID, whereas
91 pen_release = cpu;
92 __cpuc_flush_dcache_area((void *)&pen_release, sizeof(pen_release));
93 outer_clean_range(__pa(&pen_release), __pa(&pen_release + 1));
105 if (pen_release == -1)
117 return pen_release != -1 ? -ENOSYS : 0;