jump_label_t
typedef u32 jump_label_t;
typedef u32 jump_label_t;
typedef u64 jump_label_t;
typedef u32 jump_label_t;
typedef u32 jump_label_t;
typedef u32 jump_label_t;