jump_label_text_reserved
jump_label_text_reserved(src, src + len - 1) ||
extern int jump_label_text_reserved(void *start, void *end);
jump_label_text_reserved(p->addr, p->addr) ||