jump_label_text_reserved
static inline int jump_label_text_reserved(void *start, void *end)
int jump_label_text_reserved(void *start, void *end)