Where are defaults for kernel variables?

[Jozef Babjak]

Hi!

Where can I find default values for kernel variables which is tunable in 
kernel config file? Some values are in LINT file, for example

options PMAP_SHPGPERPROC=201

or 

options KVA_PAGES=260

but are these default values?

Jozef.