diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-03-13 18:47:08 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-06-15 04:09:26 -0400 |
| commit | 3d009fa7e7475ca8d72776aa83dd9796bb44f9d2 (patch) | |
| tree | aa5d1092c07c6d891d06d787f952c737ddc17230 | |
| parent | c2e0989624531088efb5fcde62ae4ac3f7e2423a (diff) | |
arm64: rescheduling handler IPI does not call irq_enter()
| -rw-r--r-- | arch/arm64/Kconfig | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/arch/arm64/Kconfig b/arch/arm64/Kconfig index ba13d76a8647..2a88a63f4127 100644 --- a/arch/arm64/Kconfig +++ b/arch/arm64/Kconfig | |||
| @@ -1080,5 +1080,7 @@ source "lib/Kconfig" | |||
| 1080 | config ARCH_HAS_FEATHER_TRACE | 1080 | config ARCH_HAS_FEATHER_TRACE |
| 1081 | def_bool n | 1081 | def_bool n |
| 1082 | 1082 | ||
| 1083 | source "litmus/Kconfig" | 1083 | config ARCH_CALLS_IRQ_ENTER_ON_RESCHED_IPI |
| 1084 | def_bool n | ||
| 1084 | 1085 | ||
| 1086 | source "litmus/Kconfig" | ||