/* trace/<type>.h here */

#include <trace/sched.h>
#include <trace/irq.h>