raw_cpu_try_cmpxchg_4
} while (!raw_cpu_try_cmpxchg_4(__preempt_count, &old, new));
#ifndef raw_cpu_try_cmpxchg_4
