/* Minimal stub file for Xilinx driver compatibility. */
#define xdbg_printf(...)