diff --git a/crates/sel4/src/object.rs b/crates/sel4/src/object.rs index 29c19eae8..6de72d384 100644 --- a/crates/sel4/src/object.rs +++ b/crates/sel4/src/object.rs @@ -59,7 +59,7 @@ impl From 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 index 4d99b6f55..82263b153 100644 --- 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],