doc(r3): don't assume r3_kernel

Author: yvt

src/r3/src/kernel/error.rs

@@ -778,7 +778,7 @@ define_error! {
     /// [`InterruptLine::set_priority`]: super::InterruptLine::set_priority
     /// [`InterruptLine::set_priority_unchecked`]: super::InterruptLine::set_priority_unchecked
     pub enum SetInterruptLinePriorityError {
-        /// The operation is not supported by the port.
+        /// The operation is not supported by the kernel.
         NotSupported,
         /// CPU Lock is active, or the current context is not [a task context].
         ///
@@ -797,7 +797,7 @@ define_error! {
     /// [`InterruptLine::enable`]: super::InterruptLine::enable
     /// [`InterruptLine::disable`]: super::InterruptLine::disable
     pub enum EnableInterruptLineError {
-        /// The operation is not supported by the port.
+        /// The operation is not supported by the kernel.
         NotSupported,
         /// Enabling or disabling the specified interrupt line is not supported.
         BadParam,
@@ -810,7 +810,7 @@ define_error! {
     ///
     /// [`InterruptLine::pend`]: super::InterruptLine::pend
     pub enum PendInterruptLineError {
-        /// Setting a pending flag is not supported by the port.
+        /// Setting a pending flag is not supported by the kernel.
         NotSupported,
         /// Setting the pending flag of the specified interrupt line is not
         /// supported.
@@ -819,7 +819,7 @@ define_error! {
         /// example, this operation is invalid for an level-triggered interrupt
         /// line.
         ///
-        /// A port is not required to detect this condition.
+        /// A kernel is not required to detect this condition.
         BadObjectState,
     }
 }
@@ -830,7 +830,7 @@ define_error! {
     ///
     /// [`InterruptLine::clear`]: super::InterruptLine::clear
     pub enum ClearInterruptLineError {
-        /// Clearing a pending flag is not supported by the port.
+        /// Clearing a pending flag is not supported by the kernel.
         NotSupported,
         /// Clearing the pending flag of the specified interrupt line is not
         /// supported.
@@ -839,7 +839,7 @@ define_error! {
         /// example, this operation is invalid for an level-triggered interrupt
         /// line.
         ///
-        /// A port is not required to detect this condition.
+        /// A kernel is not required to detect this condition.
         BadObjectState,
     }
 }
@@ -850,7 +850,7 @@ define_error! {
     ///
     /// [`InterruptLine::is_pending`]: super::InterruptLine::is_pending
     pub enum QueryInterruptLineError {
-        /// Reading a pending flag is not supported by the port.
+        /// Reading a pending flag is not supported by the kernel.
         NotSupported,
         /// Reading the pending flag of the specified interrupt line is not
         /// supported.

src/r3/src/kernel/kernel.rs

@@ -143,8 +143,8 @@ pub trait Kernel: private::Sealed {
     /// <div class="admonition-follows"></div>
     ///
     /// > **Rationale:** This restriction originates from μITRON4.0. It's
-    /// > actually unnecessary in the current implementation, but allows
-    /// > headroom for potential changes in the implementation.
+    /// > actually unnecessary in `r3_kernel`'s current implementation, but
+    /// > allows more leeway in a kernel implementation.
     fn set_time(time: Time) -> Result<(), TimeError>;
 
     /// Get the current [system time].
@@ -157,8 +157,8 @@ pub trait Kernel: private::Sealed {
     /// <div class="admonition-follows"></div>
     ///
     /// > **Rationale:** This restriction originates from μITRON4.0. It's
-    /// > actually unnecessary in the current implementation, but allows
-    /// > headroom for potential changes in the implementation.
+    /// > actually unnecessary in `r3_kernel`'s current implementation, but
+    /// > allows more leeway in a kernel implementation.
     fn time() -> Result<Time, TimeError>
     where
         Self: raw::KernelTime;
@@ -202,7 +202,7 @@ pub trait Kernel: private::Sealed {
     /// make the event overdue by more than `time_user_headroom`), the check
     /// will fail.
     ///
-    /// The events made overdue by the call will be processed when the port
+    /// The events made overdue by the call will be processed when the
     /// timer driver announces a new tick. It's unspecified whether this happens
     /// before or after the call returns.
     ///
@@ -295,8 +295,8 @@ pub trait Kernel: private::Sealed {
 
     /// Terminate the current task, putting it into the Dormant state.
     ///
-    /// The kernel (to be precise, the port) makes an implicit call to this
-    /// function when a task entry point function returns.
+    /// The kernel makes an implicit call to this function when a task entry
+    /// point function returns.
     ///
     /// # Safety
     ///

src/r3/src/kernel/raw.rs

@@ -519,7 +519,7 @@ pub unsafe trait KernelInterruptLine: KernelBase {
 
 /// Numeric value used to identify interrupt lines.
 ///
-/// The meaning of this value is defined by a port and target hardware. They
+/// The meaning of this value is defined by a kernel and target hardware. They
 /// are not necessarily tightly packed from zero.
 pub type InterruptNum = usize;