BUG: sel4sys: size_bits() returning wrong value for seL4_NotificationObject.
* instead of returning seL4_NotificationBits it returned seL4_NotificationBits
Change-Id: I9a59e8ce921a033a52ba2ed193c6d267cbfa1419
(cherry picked from commit 609991e1a560f48b1d67dbd61cacec366036facc)
diff --git a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/aarch64.rs b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/aarch64.rs
index cdf2a6a..574092f 100644
--- a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/aarch64.rs
+++ b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/aarch64.rs
@@ -169,7 +169,7 @@
match self {
seL4_TCBObject => Some(seL4_TCBBits),
seL4_EndpointObject => Some(seL4_EndpointBits),
- seL4_NotificationObject => Some(seL4_EndpointBits),
+ seL4_NotificationObject => Some(seL4_NotificationBits),
#[cfg(feature = "CONFIG_KERNEL_MCS")]
seL4_ReplyObject => Some(seL4_ReplyBits),
#[cfg(feature = "CONFIG_KERNEL_MCS")]
diff --git a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv32.rs b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv32.rs
index bcd0642..5d25efd 100644
--- a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv32.rs
+++ b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv32.rs
@@ -133,7 +133,7 @@
match self {
seL4_TCBObject => Some(seL4_TCBBits),
seL4_EndpointObject => Some(seL4_EndpointBits),
- seL4_NotificationObject => Some(seL4_EndpointBits),
+ seL4_NotificationObject => Some(seL4_NotificationBits),
#[cfg(feature = "CONFIG_KERNEL_MCS")]
seL4_ReplyObject => Some(seL4_ReplyBits),
#[cfg(feature = "CONFIG_KERNEL_MCS")]
diff --git a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv64.rs b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv64.rs
index ada2f78..e80adab 100644
--- a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv64.rs
+++ b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv64.rs
@@ -140,7 +140,7 @@
match self {
seL4_TCBObject => Some(seL4_TCBBits),
seL4_EndpointObject => Some(seL4_EndpointBits),
- seL4_NotificationObject => Some(seL4_EndpointBits),
+ seL4_NotificationObject => Some(seL4_NotificationBits),
#[cfg(feature = "CONFIG_KERNEL_MCS")]
seL4_ReplyObject => Some(seL4_ReplyBits),
#[cfg(feature = "CONFIG_KERNEL_MCS")]
