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