Lines Matching refs:exynos_pen_release
29 /* XXX exynos_pen_release is cargo culted code - DO NOT COPY XXX */
30 volatile int exynos_pen_release = -1;
61 if (exynos_pen_release == core_id) {
239 * Write exynos_pen_release in a way that is guaranteed to be visible to
245 exynos_pen_release = val;
247 sync_cache_w(&exynos_pen_release);
333 * that it has been released by resetting exynos_pen_release.
335 * Note that "exynos_pen_release" is the hardware CPU core ID, whereas
387 if (exynos_pen_release == -1)
393 if (exynos_pen_release != -1)
403 return exynos_pen_release != -1 ? ret : 0;