[PATCH] Use sized types in tracepoint.

[Tom Tromey]

Mark> We have gnulib/stdint.h so using typedefs like int32_t should be ok.
Mark> But I don't think we have support for the PRIxxx macros, so the
Mark> changes to the printing code aren't ok I'm afraid.

The gnulib inttypes.h module defines these.

Tom