CONFIG_GUP_GET_PTE_LOW_HIGH (not configurable)

configname: CONFIG_GUP_GET_PTE_LOW_HIGH

Linux Kernel Configuration
└─>Memory Management options
└─>GUP_GET_PTE_LOW_HIGH
In linux kernel since version 5.1 (release Date: 2019-05-05)