CONFIG_MACH_OSIRIS_DVS is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

Simtec IM2440D20 (OSIRIS) Dynamic Voltage Scaling driver

modulename: mach-osiris-dvs.ko

configname: CONFIG_MACH_OSIRIS_DVS

Linux Kernel Configuration
└─>S3C2440 and S3C2442 Machines
└─>Simtec IM2440D20 (OSIRIS) Dynamic Voltage Scaling driver
In linux kernel since version 2.6.33 (release Date: 2010-02-24)  
Say Y/M here if you want to have dynamic voltage scaling support
on the Simtec IM2440D20 (OSIRIS) module via the TPS65011.

The DVS driver alters the voltage supplied to the ARM core
depending on the frequency it is running at. The driver itself
does not do any of the frequency alteration, which is left up
to the cpufreq driver.

source code: