diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 07:18:47 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-05-26 17:12:25 -0400 |
commit | abe0ce1ddd3cf6fc3300eb67a8f07089c6083a45 (patch) | |
tree | ac28980ef5c4220ab0906d0c2b0a1b7cc1a9b64f | |
parent | 0f6349409ce8e0202bf0bb0a1f1247b9207be5eb (diff) |
Feather-Trace: write interrupt counts to control page
This patch exports the interrupt counter to userspace via the control
page.
-rw-r--r-- | litmus/trace.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/litmus/trace.c b/litmus/trace.c index 846f4dd17f32..937b1c4d0975 100644 --- a/litmus/trace.c +++ b/litmus/trace.c | |||
@@ -29,6 +29,9 @@ void ft_irq_fired(void) | |||
29 | /* Only called with preemptions disabled. */ | 29 | /* Only called with preemptions disabled. */ |
30 | atomic_inc(this_cpu_ptr(&irq_fired_count)); | 30 | atomic_inc(this_cpu_ptr(&irq_fired_count)); |
31 | atomic_inc(this_cpu_ptr(&cpu_irq_fired_count)); | 31 | atomic_inc(this_cpu_ptr(&cpu_irq_fired_count)); |
32 | |||
33 | if (has_control_page(current)) | ||
34 | get_control_page(current)->irq_count++; | ||
32 | } | 35 | } |
33 | 36 | ||
34 | static inline void clear_irq_fired(void) | 37 | static inline void clear_irq_fired(void) |