Zynq Ultrascale+, Interrupt handler issue

Not sure if the right answer has been given already, but I wonder if xil_printf() may be called from an interrupt context.