From 4b1e816b1e8cfa441183df30a326b9b9bfcc8470 Mon Sep 17 00:00:00 2001
From: netanelc305 <netanelc305@pm.me>
Date: Thu, 28 Sep 2023 10:52:44 +0300
Subject: [PATCH] libvmi:libvmi_cdef: Add `vmi_pagecache_flush`

---
 libvmi/libvmi.py     | 3 +++
 libvmi/libvmi_cdef.h | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/libvmi/libvmi.py b/libvmi/libvmi.py
index 1798b40..b71c215 100644
--- a/libvmi/libvmi.py
+++ b/libvmi/libvmi.py
@@ -955,6 +955,9 @@ def pidcache_flush(self):
     def pidcache_add(self, pid, dtb):
         lib.vmi_pidcache_add(self.vmi, pid, dtb)
 
+    def pagecache_flush(self):
+        lib.vmi_pagecache_flush(self.vmi)
+
     # events
     def register_event(self, event):
         event.vmi = self
diff --git a/libvmi/libvmi_cdef.h b/libvmi/libvmi_cdef.h
index b3d058b..0dba2d2 100644
--- a/libvmi/libvmi_cdef.h
+++ b/libvmi/libvmi_cdef.h
@@ -981,3 +981,6 @@ void vmi_pidcache_add(
     vmi_instance_t vmi,
     vmi_pid_t pid,
     addr_t dtb);
+
+void vmi_pagecache_flush(
+    vmi_instance_t vmi);
\ No newline at end of file