docs: Fix broken links

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · Jul 2, 2024 · d770d7b · d770d7b
1 parent be7d740
commit d770d7b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/crates/sel4/src/object.rs b/crates/sel4/src/object.rs
@@ -59,7 +59,7 @@ impl From<ObjectTypeArch> for ObjectType {
     }
 }
 
-/// An object description for [`Untyped::untyped_retype`](crate::Untyped::untyped_retype).
+/// An object description for [`Untyped::untyped_retype`](crate::cap::Untyped::untyped_retype).
 #[sel4_cfg_enum]
 #[derive(Copy, Clone, Debug, PartialEq, Eq, PartialOrd, Ord)]
 pub enum ObjectBlueprint {

diff --git a/crates/sel4/src/syscalls.rs b/crates/sel4/src/syscalls.rs
@@ -247,14 +247,14 @@ pub fn set_tls_base(addr: usize) {
 
 const UNUSED_FOR_IN: Word = 0;
 
-/// The result of [`Endpoint::recv_with_mrs`].
+/// The result of [`cap::Endpoint::recv_with_mrs`].
 pub struct RecvWithMRs {
     pub info: MessageInfo,
     pub badge: Badge,
     pub msg: [Word; NUM_FAST_MESSAGE_REGISTERS],
 }
 
-/// The result of [`Endpoint::call_with_mrs`].
+/// The result of [`cap::Endpoint::call_with_mrs`].
 pub struct CallWithMRs {
     pub info: MessageInfo,
     pub msg: [Word; NUM_FAST_MESSAGE_REGISTERS],