CONFIG_ARCH_HAS_PTE_DEVMAP (not configurable)

configname: CONFIG_ARCH_HAS_PTE_DEVMAP

Linux Kernel Configuration
└─>Memory Management options
└─>ARCH_HAS_PTE_DEVMAP
In linux kernel since version 5.1 (release Date: 2019-05-05)  
is selected by
CONFIG_ZONE_DEVICE