| .. | .. |
|---|
| 10 | 10 | |
|---|
| 11 | 11 | #include <asm/hw_irq.h> |
|---|
| 12 | 12 | #include <asm/desc.h> |
|---|
| 13 | +#include <asm/trace/exceptions.h> |
|---|
| 14 | +#include <asm/trace/irq_vectors.h> |
|---|
| 13 | 15 | |
|---|
| 14 | 16 | DEFINE_STATIC_KEY_FALSE(trace_pagefault_key); |
|---|
| 15 | 17 | |
|---|
| .. | .. |
|---|
| 23 | 25 | { |
|---|
| 24 | 26 | static_branch_dec(&trace_pagefault_key); |
|---|
| 25 | 27 | } |
|---|
| 26 | | - |
|---|
| 27 | | -#ifdef CONFIG_SMP |
|---|
| 28 | | - |
|---|
| 29 | | -DEFINE_STATIC_KEY_FALSE(trace_resched_ipi_key); |
|---|
| 30 | | - |
|---|
| 31 | | -int trace_resched_ipi_reg(void) |
|---|
| 32 | | -{ |
|---|
| 33 | | - static_branch_inc(&trace_resched_ipi_key); |
|---|
| 34 | | - return 0; |
|---|
| 35 | | -} |
|---|
| 36 | | - |
|---|
| 37 | | -void trace_resched_ipi_unreg(void) |
|---|
| 38 | | -{ |
|---|
| 39 | | - static_branch_dec(&trace_resched_ipi_key); |
|---|
| 40 | | -} |
|---|
| 41 | | - |
|---|
| 42 | | -#endif |
|---|