From 13180fe9f406c79303169581d8a0e26663965d55 Mon Sep 17 00:00:00 2001
From: Paul Pan <i@0x7f.app>
Date: Tue, 3 Sep 2024 19:39:08 +0800
Subject: [PATCH] feat: kernel/objects/null: add `override_cap`

---
 kernel/src/objects/null.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/kernel/src/objects/null.rs b/kernel/src/objects/null.rs
index 8b35e07..18491ae 100644
--- a/kernel/src/objects/null.rs
+++ b/kernel/src/objects/null.rs
@@ -14,6 +14,10 @@ impl<'a> NullCap<'a> {
     pub fn mint() -> RawCap {
         RawCap::new(0, 0, PhysAddr(0), ObjectType::Null)
     }
+
+    pub fn override_cap(&self, new: RawCap) {
+        unsafe { self.cte.cap.update(|cap| *cap = new) };
+    }
 }
 
 impl Debug for NullCap<'_> {