diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-03-10 09:39:07 -0500 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-05-26 17:12:22 -0400 |
commit | 49e9c1480b1bb8cd89c9caf7850d37d33584c104 (patch) | |
tree | c61d2cbb40d81e4c3b50830b664a082b09507635 | |
parent | 2960cd9646cf36b9985fd57fa1eeb6cb34f13acc (diff) |
arm: rescheduling handler IPI does not call irq_enter()
-rw-r--r-- | arch/arm/Kconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index 68e007a7e7fb..d83aea5df312 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig | |||
@@ -2213,5 +2213,8 @@ source "arch/arm/kvm/Kconfig" | |||
2213 | config ARCH_HAS_FEATHER_TRACE | 2213 | config ARCH_HAS_FEATHER_TRACE |
2214 | def_bool n | 2214 | def_bool n |
2215 | 2215 | ||
2216 | config ARCH_CALLS_IRQ_ENTER_ON_RESCHED_IPI | ||
2217 | def_bool n | ||
2218 | |||
2216 | source "litmus/Kconfig" | 2219 | source "litmus/Kconfig" |
2217 | 2220 | ||