How to check Kernel default values

echo "vx_bc_bufhwm/D" | adb -k /dev/ksyms /dev/mem
echo "ncsize/D" | adb -k /dev/ksyms /dev/mem
echo "vxfs_ninode/D" | adb -k /dev/ksyms /dev/mem

http://seer.entsupport.symantec.com/docs/196721.htm