default or selected kernelversion does not have config value CONFIG_ARCH_HAS_VM_GET_PAGE_PROT.
Result is shown for kernelversion 5.2.15
CONFIG_ARCH_HAS_VM_GET_PAGE_PROT (not configurable)
configname: CONFIG_ARCH_HAS_VM_GET_PAGE_PROT
Linux Kernel Configuration
└─>Memory Management options
└─>ARCH_HAS_VM_GET_PAGE_PROT