jump_label_lock
extern void jump_label_lock(void);
DEFINE_LOCK_GUARD_0(jump_label_lock, jump_label_lock(), jump_label_unlock())
jump_label_lock();
jump_label_lock();
jump_label_lock();
jump_label_lock();
jump_label_lock();
guard(jump_label_lock)();
guard(jump_label_lock)();
guard(jump_label_lock)();