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

Head SHA1: fac5493251a680cb74343895d0e76843624a90d8


Nam Cao (12):
      rv: Add #undef TRACE_INCLUDE_FILE
      printk: Make vprintk_deferred() public
      panic: Add vpanic()
      rv: Let the reactors take care of buffers
      rv: rename CONFIG_DA_MON_EVENTS to CONFIG_RV_MON_EVENTS
      rv: Add support for LTL monitors
      rv: Add rtapp container monitor
      riscv: mm: Add page fault trace points
      rv: Add rtapp_pagefault monitor
      rv: Add rtapp_sleep monitor
      rv: Add documentation for rtapp monitor
      rv: Allow to configure the number of per-task monitor

----
 Documentation/trace/rv/index.rst                   |   1 +
 Documentation/trace/rv/monitor_rtapp.rst           | 133 +++++++++++
 arch/riscv/mm/fault.c                              |   8 +
 include/linux/panic.h                              |   3 +
 include/linux/printk.h                             |   7 +
 include/linux/rv.h                                 |  75 +++++-
 include/linux/sched.h                              |   8 +-
 include/rv/da_monitor.h                            |  45 +---
 include/rv/ltl_monitor.h                           | 184 +++++++++++++++
 kernel/fork.c                                      |   5 +-
 kernel/panic.c                                     |  16 +-
 kernel/printk/internal.h                           |   1 -
 kernel/trace/rv/Kconfig                            |  27 ++-
 kernel/trace/rv/Makefile                           |   3 +
 kernel/trace/rv/monitors/pagefault/Kconfig         |  20 ++
 kernel/trace/rv/monitors/pagefault/pagefault.c     |  88 +++++++
 kernel/trace/rv/monitors/pagefault/pagefault.h     |  64 +++++
 .../trace/rv/monitors/pagefault/pagefault_trace.h  |  14 ++
 kernel/trace/rv/monitors/rtapp/Kconfig             |  11 +
 kernel/trace/rv/monitors/rtapp/rtapp.c             |  33 +++
 kernel/trace/rv/monitors/rtapp/rtapp.h             |   3 +
 kernel/trace/rv/monitors/sleep/Kconfig             |  22 ++
 kernel/trace/rv/monitors/sleep/sleep.c             | 237 +++++++++++++++++++
 kernel/trace/rv/monitors/sleep/sleep.h             | 257 +++++++++++++++++++++
 kernel/trace/rv/monitors/sleep/sleep_trace.h       |  14 ++
 kernel/trace/rv/reactor_panic.c                    |   8 +-
 kernel/trace/rv/reactor_printk.c                   |   8 +-
 kernel/trace/rv/rv.c                               |  10 +-
 kernel/trace/rv/rv_reactors.c                      |   2 +-
 kernel/trace/rv/rv_trace.h                         |  52 ++++-
 tools/verification/models/rtapp/pagefault.ltl      |   1 +
 tools/verification/models/rtapp/sleep.ltl          |  22 ++
 32 files changed, 1307 insertions(+), 75 deletions(-)
 create mode 100644 Documentation/trace/rv/monitor_rtapp.rst
 create mode 100644 include/rv/ltl_monitor.h
 create mode 100644 kernel/trace/rv/monitors/pagefault/Kconfig
 create mode 100644 kernel/trace/rv/monitors/pagefault/pagefault.c
 create mode 100644 kernel/trace/rv/monitors/pagefault/pagefault.h
 create mode 100644 kernel/trace/rv/monitors/pagefault/pagefault_trace.h
 create mode 100644 kernel/trace/rv/monitors/rtapp/Kconfig
 create mode 100644 kernel/trace/rv/monitors/rtapp/rtapp.c
 create mode 100644 kernel/trace/rv/monitors/rtapp/rtapp.h
 create mode 100644 kernel/trace/rv/monitors/sleep/Kconfig
 create mode 100644 kernel/trace/rv/monitors/sleep/sleep.c
 create mode 100644 kernel/trace/rv/monitors/sleep/sleep.h
 create mode 100644 kernel/trace/rv/monitors/sleep/sleep_trace.h
 create mode 100644 tools/verification/models/rtapp/pagefault.ltl
 create mode 100644 tools/verification/models/rtapp/sleep.ltl