jump_label_init_ro
static __always_inline void jump_label_init_ro(void) { }
void jump_label_init_ro(void)