git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace.git
tools/for-next

Head SHA1: 87c5d7f5e5938f713bde4e7435e6b207372a7f8e


Gabriele Monaco (8):
      verification/dot2k: Fix template directory detection
      verification/dot2k: Unify main.c templates
      verification/dot2k: More robust template variables
      verification/dot2k: Add support for name and description options
      rv: Simplify manual steps in monitor creation
      verification/dot2k: Simplify manual steps in monitor creation
      verification/dot2k: Auto patch current kernel source
      verification/dot2k: Implement event type detection

----
 kernel/trace/rv/Kconfig                            |  27 +--
 kernel/trace/rv/Makefile                           |   3 +
 kernel/trace/rv/monitors/wip/Kconfig               |  12 ++
 kernel/trace/rv/monitors/wip/wip.c                 |   2 +-
 kernel/trace/rv/monitors/wip/wip_trace.h           |  15 ++
 kernel/trace/rv/monitors/wwnr/Kconfig              |  11 +
 kernel/trace/rv/monitors/wwnr/wwnr.c               |   2 +-
 kernel/trace/rv/monitors/wwnr/wwnr_trace.h         |  16 ++
 kernel/trace/rv/rv.c                               |   2 +-
 .../events/rv.h => kernel/trace/rv/rv_trace.h      |  26 +--
 tools/verification/dot2/automata.py                |  36 +++-
 tools/verification/dot2/dot2c.py                   |   4 +-
 tools/verification/dot2/dot2k                      |  17 +-
 tools/verification/dot2/dot2k.py                   | 226 ++++++++++++++++++---
 tools/verification/dot2/dot2k_templates/Kconfig    |   6 +
 tools/verification/dot2/dot2k_templates/main.c     |  91 +++++++++
 .../dot2/dot2k_templates/main_global.c             |  91 ---------
 .../dot2/dot2k_templates/main_per_cpu.c            |  91 ---------
 .../dot2/dot2k_templates/main_per_task.c           |  91 ---------
 tools/verification/dot2/dot2k_templates/trace.h    |  13 ++
 20 files changed, 419 insertions(+), 363 deletions(-)
 create mode 100644 kernel/trace/rv/monitors/wip/Kconfig
 create mode 100644 kernel/trace/rv/monitors/wip/wip_trace.h
 create mode 100644 kernel/trace/rv/monitors/wwnr/Kconfig
 create mode 100644 kernel/trace/rv/monitors/wwnr/wwnr_trace.h
 rename include/trace/events/rv.h => kernel/trace/rv/rv_trace.h (79%)
 create mode 100644 tools/verification/dot2/dot2k_templates/Kconfig
 create mode 100644 tools/verification/dot2/dot2k_templates/main.c
 delete mode 100644 tools/verification/dot2/dot2k_templates/main_global.c
 delete mode 100644 tools/verification/dot2/dot2k_templates/main_per_cpu.c
 delete mode 100644 tools/verification/dot2/dot2k_templates/main_per_task.c
 create mode 100644 tools/verification/dot2/dot2k_templates/trace.h