xen/trace: set up tracepoint skeleton