diff options
Diffstat (limited to 'doc/user/io.t')
| -rw-r--r-- | doc/user/io.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/io.t b/doc/user/io.t index 054440c867..0834fd0c27 100644 --- a/doc/user/io.t +++ b/doc/user/io.t @@ -20,7 +20,7 @@ directives provided by the I/O manager are: @itemize @bullet @item @code{@value{DIRPREFIX}io_initialize} - Initialize a device driver -@item @code{@value{DIRPREFIX}io_register_driver - Register a device driver +@item @code{@value{DIRPREFIX}io_register_driver} - Register a device driver @item @code{@value{DIRPREFIX}io_register_name} - Register a device name @item @code{@value{DIRPREFIX}io_lookup_name} - Look up a device name @item @code{@value{DIRPREFIX}io_open} - Open a device |