libvmi:libvmi_cdef: Add vmi_pagecache_flush

Author: netanelc305

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

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);