diff options
Diffstat (limited to 'arch/src/lib.rs')
| -rw-r--r-- | arch/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/src/lib.rs b/arch/src/lib.rs index 5aa8c67..bab679a 100644 --- a/arch/src/lib.rs +++ b/arch/src/lib.rs @@ -124,9 +124,9 @@ pub enum DeviceRegistrationError { AllocateDeviceAddrs(PciDeviceError), /// Could not allocate an IRQ number. AllocateIrq, - // Unable to create a pipe. + /// Unable to create a pipe. CreatePipe(sys_util::Error), - // Unable to create serial device from serial parameters + /// Unable to create serial device from serial parameters. CreateSerialDevice(serial::Error), /// Could not clone an event fd. EventFdClone(sys_util::Error), |