Use XIL/XLI instead of make_number/XINT for converting descriptor to a ptr.