Printing

Because I can never remember these numbers (in bytes)...

printf() = 51788 : None, full featured
iprintf() = 18294 : No floating point, reentrant
xil_printf() = 2953 : No floating point, not reentrant(single thread only), no longlong(64 bit)
putnum() = 284 : Integer to HEX only, no other formats
print() = 185 : No numbers output, just strings

All of these functions can be prototyped by including <stdio.h>.

xil_printf cannot do %u or %f