include/rv/da_monitor.h | 66 ++++++++++--- include/rv/ha_monitor.h | 93 ++++++++++++++++++- kernel/trace/rv/monitors/deadline/deadline.h | 8 +- kernel/trace/rv/monitors/nomiss/nomiss.c | 4 +- kernel/trace/rv/monitors/opid/opid.c | 4 +- kernel/trace/rv/monitors/stall/stall.c | 4 +- .../rvgen/rvgen/templates/dot2k/main.c | 4 +- 7 files changed, 157 insertions(+), 26 deletions(-)