domain switch

[Leandro Bucci via Xenomai]

Hi, I wanted to know if there was a way to count the number of times a
domain switch happens.
For example the printf () function causes a domain switch, right?