Handle options that are integers (e.g. HZ) or strings properly.
[linux-2.6.git] / arch / xen /
drwxr-xr-x   ..
drwxr-xr-x - kernel