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