Question: trace_printk() in xenomai?

[Laurentiu-Cristian Duca via Xenomai]

Dear friends,

  Is it safe to use trace_printk() in xenomai
or it does a domain switch?
Until now I have used only rtdm_printk() and raw_printk().

  Another question: is raw_printk() only on arm (and not on arm64, nor x86_64)?

Thank you,
L-C.