Include "tmacros.h". Use PRIxrtems_task_priority to print rtems_task_prioritys. Use PRI*32 to print uint32_ts.