@@ -298,7 +298,7 @@ what a given ioctl request number means, but the kernel does not interpret them). The supplied program send_iotcl can be used to send ioctls to your driver:
-$ ./send_iotcl mtn/.txn [request code]
+$ ./send_iotcl mnt/.txn [request code]
 
Request codes are defined in crashmod.h. The following request codes are provided: