CONFIG_HAVE_MACH_CLKDEV (not configurable)

configname: CONFIG_HAVE_MACH_CLKDEV

Linux Kernel Configuration
└─>Device Drivers
└─>HAVE_MACH_CLKDEV
In linux kernel since version 3.1 (release Date: 2011-10-24)  
is depended by
CONFIG_ARCH_VEXPRESS