rt_spin_lock
extern void rt_spin_lock(spinlock_t *lock) __acquires(lock);
void __sched rt_spin_lock(spinlock_t *lock) __acquires(RCU)