CONFIG_ARCH_DMA_ADDR_T_64BIT (not configurable)

configname: CONFIG_ARCH_DMA_ADDR_T_64BIT

Linux Kernel Configuration
└─>Library routines
└─>ARCH_DMA_ADDR_T_64BIT
In linux kernel since version 2.6.37 (release Date: 2011-01-04)  
is selected by
CONFIG_RDMA_RXE

is depended by
CONFIG_XEN