InfiniBand on-demand paging support

configname: CONFIG_INFINIBAND_ON_DEMAND_PAGING

Linux Kernel Configuration
└─>Device Drivers
└─>InfiniBand support
└─>InfiniBand on-demand paging support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
On demand paging support for the InfiniBand subsystem.
Together with driver support this allows registration of
memory regions without pinning their pages, fetching the
pages on demand instead.