Update kernel/src/syscall.rs

Co-authored-by: Amit Levy <[email protected]>
tock · Nov 8, 2024 · d0fa5fc · d0fa5fc
1 parent 7ec6bdd
commit d0fa5fc
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/kernel/src/syscall.rs b/kernel/src/syscall.rs
@@ -167,8 +167,6 @@ pub enum Syscall {
         driver_number: usize,
         /// The subscribe identifier.
         subdriver_number: usize,
-        // On CHERI platforms we need to maintain metadata for
-        // these two as they are used to access code/data.
         /// Upcall pointer to the upcall function.
         upcall_ptr: CapabilityPtr,
         /// Userspace application data.