Changes
/* Usage example */
<br>
* Verify it can be loaded successfully and information about the device appears in dmesg output
* NOTE: kernel module wdat_wdt does not produce debug messages, dmesg output will be empty
$ sudo modprobe iTCO_wdt
$ dmesg | grep -i iTCO