doc(port_riscv): fix broken intra-doc links

Author: yvt

src/r3_port_riscv/src/lib.md

@@ -53,8 +53,8 @@ The [`PortInterrupts`] implementation generated by `use_port!` delegates method
 Your kernel trait type should be combined with an interrupt controller driver by implementing [`InterruptController`]. Most systems are equipped with [Platform-Level Interrupt Controller (PLIC)], whose driver is provided by [`use_plic!`]. PLIC does not support pending or clearing interrupt lines.
 
 [Platform-Level Interrupt Controller (PLIC)]: https://github.com/riscv/riscv-plic-spec/blob/master/riscv-plic.adoc
-[`PortInterrupts`]: r3::kernel::PortInterrupts
-[`INTERRUPT_HANDLERS`]: r3::kernel::KernelCfg2::INTERRUPT_HANDLERS
+[`PortInterrupts`]: r3_kernel::PortInterrupts
+[`INTERRUPT_HANDLERS`]: r3_kernel::KernelCfg2::INTERRUPT_HANDLERS
 
 # Emulation
 
@@ -185,11 +185,11 @@ struct ContextState {
 
 `x2` (`sp`) is stored in [`TaskCb::port_task_state`]. The stored stack pointer is only aligned to word boundaries.
 
-[`TaskCb::port_task_state`]: r3::kernel::TaskCb::port_task_state
+[`TaskCb::port_task_state`]: r3_kernel::TaskCb::port_task_state
 
 The idle task (the implicit task that runs when `*`[`running_task_ptr`]`().is_none()`) always execute with `sp == 0`. For the idle task, saving and restoring the context store is essentially replaced with no-op or loads of hard-coded values. In particular, `pc` is always “restored” with the entry point of the idle task.
 
-[`running_task_ptr`]: r3::kernel::State::running_task_ptr
+[`running_task_ptr`]: r3_kernel::State::running_task_ptr
 
 When a task is activated, a new context state is created inside the task's stack. By default, only essential registers are preloaded with known values. The **`preload-registers`** Cargo feature enables preloading for all `x` registers, which might help in debugging at the cost of performance and code size.
 

src/r3_port_riscv/src/lib.rs

@@ -56,7 +56,7 @@ pub mod rt {
     pub mod imp;
 }
 
-/// The [`r3::kernel::PortThreading`] implementation.
+/// The [`r3_kernel::PortThreading`] implementation.
 #[doc(hidden)]
 pub mod threading {
     pub mod cfg;
@@ -107,7 +107,7 @@ pub trait Timer {
     /// Initialize the driver. This will be called just before entering
     /// [`PortToKernel::boot`].
     ///
-    /// [`PortToKernel::boot`]: r3::kernel::PortToKernel::boot
+    /// [`PortToKernel::boot`]: r3_kernel::PortToKernel::boot
     ///
     /// # Safety
     ///
@@ -125,7 +125,7 @@ pub trait InterruptController {
     /// Initialize the driver. This will be called just before entering
     /// [`PortToKernel::boot`].
     ///
-    /// [`PortToKernel::boot`]: r3::kernel::PortToKernel::boot
+    /// [`PortToKernel::boot`]: r3_kernel::PortToKernel::boot
     ///
     /// # Safety
     ///
@@ -146,7 +146,7 @@ pub trait InterruptController {
     /// The provided interrupt number must be greater than or equal to
     /// [`INTERRUPT_PLATFORM_START`].
     ///
-    /// [`PortInterrupts::set_interrupt_line_priority`]: r3::kernel::PortInterrupts::set_interrupt_line_priority
+    /// [`PortInterrupts::set_interrupt_line_priority`]: r3_kernel::PortInterrupts::set_interrupt_line_priority
     ///
     /// # Safety
     ///
@@ -164,7 +164,7 @@ pub trait InterruptController {
     /// The provided interrupt number must be greater than or equal to
     /// [`INTERRUPT_PLATFORM_START`].
     ///
-    /// [`PortInterrupts::enable_interrupt_line`]: r3::kernel::PortInterrupts::enable_interrupt_line
+    /// [`PortInterrupts::enable_interrupt_line`]: r3_kernel::PortInterrupts::enable_interrupt_line
     ///
     /// # Safety
     ///
@@ -179,7 +179,7 @@ pub trait InterruptController {
     /// The provided interrupt number must be greater than or equal to
     /// [`INTERRUPT_PLATFORM_START`].
     ///
-    /// [`PortInterrupts::disable_interrupt_line`]: r3::kernel::PortInterrupts::disable_interrupt_line
+    /// [`PortInterrupts::disable_interrupt_line`]: r3_kernel::PortInterrupts::disable_interrupt_line
     ///
     /// # Safety
     ///
@@ -194,7 +194,7 @@ pub trait InterruptController {
     /// The provided interrupt number must be greater than or equal to
     /// [`INTERRUPT_PLATFORM_START`].
     ///
-    /// [`PortInterrupts::pend_interrupt_line`]: r3::kernel::PortInterrupts::pend_interrupt_line
+    /// [`PortInterrupts::pend_interrupt_line`]: r3_kernel::PortInterrupts::pend_interrupt_line
     ///
     /// # Safety
     ///
@@ -209,7 +209,7 @@ pub trait InterruptController {
     /// The provided interrupt number must be greater than or equal to
     /// [`INTERRUPT_PLATFORM_START`].
     ///
-    /// [`PortInterrupts::clear_interrupt_line`]: r3::kernel::PortInterrupts::clear_interrupt_line
+    /// [`PortInterrupts::clear_interrupt_line`]: r3_kernel::PortInterrupts::clear_interrupt_line
     ///
     /// # Safety
     ///
@@ -224,7 +224,7 @@ pub trait InterruptController {
     /// The provided interrupt number must be greater than or equal to
     /// [`INTERRUPT_PLATFORM_START`].
     ///
-    /// [`PortInterrupts::is_interrupt_line_pending`]: r3::kernel::PortInterrupts::is_interrupt_line_pending
+    /// [`PortInterrupts::is_interrupt_line_pending`]: r3_kernel::PortInterrupts::is_interrupt_line_pending
     ///
     /// # Safety
     ///

src/r3_port_riscv/src/threading/cfg.rs

@@ -20,8 +20,8 @@ pub trait ThreadingOptions {}
 /// [`PortInterrupts`], and [`EntryPoint`].
 /// **Requires [`ThreadingOptions`] and [`InterruptController`].**
 ///
-/// [`PortThreading`]: r3::kernel::PortThreading
-/// [`PortInterrupts`]: r3::kernel::PortInterrupts
+/// [`PortThreading`]: r3_kernel::PortThreading
+/// [`PortInterrupts`]: r3_kernel::PortInterrupts
 /// [`EntryPoint`]: crate::EntryPoint
 /// [`InterruptController`]: crate::InterruptController
 #[macro_export]

src/r3_port_riscv/src/threading/imp.rs

@@ -507,7 +507,7 @@ impl State {
     ///     - Update SP to point to the main stack. In this case, **this
     ///       procedure may overwrite any contents in the main stack.**
     ///  - **`dispatch:`** (alternate entry point)
-    ///  - Call [`r3::kernel::PortToKernel::choose_running_task`].
+    ///  - Call [`r3_kernel::PortToKernel::choose_running_task`].
     ///  - Restore SP from the next scheduled task's `TaskState`.
     ///  - If there's no task to schedule, branch to the idle task loop.
     ///  - Pop the second-level state of the next scheduled task.

src/r3_port_riscv/src/timer/cfg.rs

@@ -6,7 +6,7 @@ use r3::kernel::InterruptNum;
 /// implements [`Timer`] on the system type.
 /// **Requires [`TimerOptions`].**
 ///
-/// [`PortTimer`]: r3::kernel::PortTimer
+/// [`PortTimer`]: r3_kernel::PortTimer
 /// [`Timer`]: crate::Timer
 ///
 /// You should do the following:

src/r3_port_riscv/src/timer/imp.rs

@@ -93,7 +93,7 @@ pub fn init<Traits: TimerInstance>() {
     }
 }
 
-/// Implements [`r3::kernel::PortTimer::tick_count`]
+/// Implements [`r3_kernel::PortTimer::tick_count`]
 ///
 /// # Safety
 ///
@@ -108,7 +108,7 @@ pub unsafe fn tick_count<Traits: TimerInstance>() -> UTicks {
     tstate.tick_count(tcfg, hw_tick_count)
 }
 
-/// Implements [`r3::kernel::PortTimer::pend_tick`]
+/// Implements [`r3_kernel::PortTimer::pend_tick`]
 ///
 /// # Safety
 ///
@@ -118,7 +118,7 @@ pub unsafe fn pend_tick<Traits: TimerInstance>() {
     Traits::mtimecmp_reg32()[1].set(0);
 }
 
-/// Implements [`r3::kernel::PortTimer::pend_tick_after`]
+/// Implements [`r3_kernel::PortTimer::pend_tick_after`]
 ///
 /// # Safety
 ///