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
└─>SAMSUNG S3C24XX SoCs Support
└─>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: