diff options
-rw-r--r-- | drivers/infiniband/Kconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/infiniband/Kconfig b/drivers/infiniband/Kconfig index b62b3b1e09cd..98ac46ed7214 100644 --- a/drivers/infiniband/Kconfig +++ b/drivers/infiniband/Kconfig | |||
@@ -45,6 +45,7 @@ config INFINIBAND_EXP_USER_ACCESS | |||
45 | config INFINIBAND_USER_MEM | 45 | config INFINIBAND_USER_MEM |
46 | bool | 46 | bool |
47 | depends on INFINIBAND_USER_ACCESS != n | 47 | depends on INFINIBAND_USER_ACCESS != n |
48 | depends on MMU | ||
48 | default y | 49 | default y |
49 | 50 | ||
50 | config INFINIBAND_ON_DEMAND_PAGING | 51 | config INFINIBAND_ON_DEMAND_PAGING |