- <label name="o32_ltt_trace_generic" value="4314"/>
- <label name="o32_ltt_register_generic" value="4315"/>
+ <label name="o32_ioprio_set" value="4314"/>
+ <label name="o32_ioprio_get" value="4315"/>
+ <label name="o32_ltt_trace_generic" value="4316"/>
+ <label name="o32_ltt_register_generic" value="4317"/>