CONFIG_PIN_TLB is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
Pinned Kernel TLBs (860 ONLY)
configname: CONFIG_PIN_TLB
Linux/PowerPC Kernel Configuration
└─>Advanced setup
└─>Pinned Kernel TLBs (860 ONLY)
In linux kernel since version 2.6.15 (release Date: 2006-01-02)
depends
CONFIG_8xxCONFIG_ADVANCED_OPTIONS
CONFIG_PPC32 or CONFIG_PPC_8xx or NOT CONFIG_DEBUG_PAGEALLOC or NOT CONFIG_STRICT_KERNEL_RWX