I've compiled my kernel with ddb and even dropped into it a few times
(just for kicks), but when I tried "print $hz" I get some error
message...

Could some kind soul tell me how to change this variable?

BTW, is this a reasonable way to change hz? I'm trying to compensate
for the fact that my computers real time clock runs fast, so I figured
that the way to fix this is by adjusting hz. Is this a reasonable
approach?

Any info/advice appreciated.

-Ram