Four SAFETY comments in the linked list implementation were left as
TODO. This series fills them in with proper safety proofs explaining
why each unsafe operation is sound.
Christian Benton (2):
rust: list: fix SAFETY comment in List::remove
rust: list: fix SAFETY comments in impl_list_item_mod
rust/kernel/list.rs | 4 +++-
rust/kernel/list/impl_list_item_mod.rs | 17 ++++++++++++++---
2 files changed, 17 insertions(+), 4 deletions(-)
--
2.53.0