DEVICE_REF
From XJTAG v3.4.1 onwards it is recommended to use UNIQUE_DEVICE_REF instead for printing device names and passing device names into built-in functions.
Example
PRINT(BOARD_NAME, ".", DEVICE_REF, ": Test failed\n"); EXIT;
See Also
XJTAG v4.2.5
