diff --git a/05_drivers_gpio_uart/README.md b/05_drivers_gpio_uart/README.md index 5e96d40a0..7209f558b 100644 --- a/05_drivers_gpio_uart/README.md +++ b/05_drivers_gpio_uart/README.md @@ -1464,7 +1464,7 @@ diff -uNr 04_safe_globals/src/driver.rs 05_drivers_gpio_uart/src/driver.rs + } +} + -+/// Tpye to be used as an optional callback after a driver's init() has run. ++/// Type to be used as an optional callback after a driver's init() has run. +pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; + +/// A descriptor for device drivers. diff --git a/05_drivers_gpio_uart/src/driver.rs b/05_drivers_gpio_uart/src/driver.rs index feef34e20..787942261 100644 --- a/05_drivers_gpio_uart/src/driver.rs +++ b/05_drivers_gpio_uart/src/driver.rs @@ -42,7 +42,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/06_uart_chainloader/src/driver.rs b/06_uart_chainloader/src/driver.rs index 53592c66b..7d57469f8 100644 --- a/06_uart_chainloader/src/driver.rs +++ b/06_uart_chainloader/src/driver.rs @@ -39,7 +39,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/07_timestamps/src/driver.rs b/07_timestamps/src/driver.rs index 050e7022f..e638fe114 100644 --- a/07_timestamps/src/driver.rs +++ b/07_timestamps/src/driver.rs @@ -42,7 +42,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/08_hw_debug_JTAG/src/driver.rs b/08_hw_debug_JTAG/src/driver.rs index 050e7022f..e638fe114 100644 --- a/08_hw_debug_JTAG/src/driver.rs +++ b/08_hw_debug_JTAG/src/driver.rs @@ -42,7 +42,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/09_privilege_level/src/driver.rs b/09_privilege_level/src/driver.rs index 050e7022f..e638fe114 100644 --- a/09_privilege_level/src/driver.rs +++ b/09_privilege_level/src/driver.rs @@ -42,7 +42,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/10_virtual_mem_part1_identity_mapping/src/driver.rs b/10_virtual_mem_part1_identity_mapping/src/driver.rs index 050e7022f..e638fe114 100644 --- a/10_virtual_mem_part1_identity_mapping/src/driver.rs +++ b/10_virtual_mem_part1_identity_mapping/src/driver.rs @@ -42,7 +42,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/11_exceptions_part1_groundwork/src/driver.rs b/11_exceptions_part1_groundwork/src/driver.rs index 050e7022f..e638fe114 100644 --- a/11_exceptions_part1_groundwork/src/driver.rs +++ b/11_exceptions_part1_groundwork/src/driver.rs @@ -42,7 +42,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/12_integrated_testing/kernel/src/driver.rs b/12_integrated_testing/kernel/src/driver.rs index 050e7022f..e638fe114 100644 --- a/12_integrated_testing/kernel/src/driver.rs +++ b/12_integrated_testing/kernel/src/driver.rs @@ -42,7 +42,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/13_exceptions_part2_peripheral_IRQs/kernel/src/driver.rs b/13_exceptions_part2_peripheral_IRQs/kernel/src/driver.rs index 2edf8b854..78b7f73c5 100644 --- a/13_exceptions_part2_peripheral_IRQs/kernel/src/driver.rs +++ b/13_exceptions_part2_peripheral_IRQs/kernel/src/driver.rs @@ -64,7 +64,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/14_virtual_mem_part2_mmio_remap/kernel/src/driver.rs b/14_virtual_mem_part2_mmio_remap/kernel/src/driver.rs index 2edf8b854..78b7f73c5 100644 --- a/14_virtual_mem_part2_mmio_remap/kernel/src/driver.rs +++ b/14_virtual_mem_part2_mmio_remap/kernel/src/driver.rs @@ -64,7 +64,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/15_virtual_mem_part3_precomputed_tables/kernel/src/driver.rs b/15_virtual_mem_part3_precomputed_tables/kernel/src/driver.rs index 2edf8b854..78b7f73c5 100644 --- a/15_virtual_mem_part3_precomputed_tables/kernel/src/driver.rs +++ b/15_virtual_mem_part3_precomputed_tables/kernel/src/driver.rs @@ -64,7 +64,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/16_virtual_mem_part4_higher_half_kernel/kernel/src/driver.rs b/16_virtual_mem_part4_higher_half_kernel/kernel/src/driver.rs index 2edf8b854..78b7f73c5 100644 --- a/16_virtual_mem_part4_higher_half_kernel/kernel/src/driver.rs +++ b/16_virtual_mem_part4_higher_half_kernel/kernel/src/driver.rs @@ -64,7 +64,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/17_kernel_symbols/kernel/src/driver.rs b/17_kernel_symbols/kernel/src/driver.rs index 2edf8b854..78b7f73c5 100644 --- a/17_kernel_symbols/kernel/src/driver.rs +++ b/17_kernel_symbols/kernel/src/driver.rs @@ -64,7 +64,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/18_backtrace/kernel/src/driver.rs b/18_backtrace/kernel/src/driver.rs index 2edf8b854..78b7f73c5 100644 --- a/18_backtrace/kernel/src/driver.rs +++ b/18_backtrace/kernel/src/driver.rs @@ -64,7 +64,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/19_kernel_heap/kernel/src/driver.rs b/19_kernel_heap/kernel/src/driver.rs index 88b41b818..2396fa032 100644 --- a/19_kernel_heap/kernel/src/driver.rs +++ b/19_kernel_heap/kernel/src/driver.rs @@ -51,7 +51,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/20_timer_callbacks/kernel/src/driver.rs b/20_timer_callbacks/kernel/src/driver.rs index 88b41b818..2396fa032 100644 --- a/20_timer_callbacks/kernel/src/driver.rs +++ b/20_timer_callbacks/kernel/src/driver.rs @@ -51,7 +51,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers. diff --git a/X1_JTAG_boot/src/driver.rs b/X1_JTAG_boot/src/driver.rs index 53592c66b..7d57469f8 100644 --- a/X1_JTAG_boot/src/driver.rs +++ b/X1_JTAG_boot/src/driver.rs @@ -39,7 +39,7 @@ pub mod interface { } } -/// Tpye to be used as an optional callback after a driver's init() has run. +/// Type to be used as an optional callback after a driver's init() has run. pub type DeviceDriverPostInitCallback = unsafe fn() -> Result<(), &'static str>; /// A descriptor for device drivers.