1 files changed, 7 insertions, 0 deletions
diff --git a/kernel/gsp_sema_service.h b/kernel/gsp_sema_service.h
index 3f2a8dc..36f9902 100644
--- a/kernel/gsp_sema_service.h
+++ b/kernel/gsp_sema_service.h
@@ -180,6 +180,13 @@ int  gsp_sema_service_vidmem_hash_snapshot(void);
 int  gsp_sema_service_vidmem_hash_diff(const char *tag,
 				       unsigned int max_pages);
 int  gsp_sema_service_pdb_discover(u64 ring_va, u64 ring_pa);
+/*
+ * r1780 (V34): bounded page-directory scan for a content-verified
+ * {VA -> PA} pair (FB shadow first, then guest RAM up to ram_lim), and a
+ * direct VAS registration for a directory found out-of-band.
+ */
+int  gsp_sema_service_pdb_scan(u64 va, u64 pa, u32 h_vas, u64 ram_lim);
+void gsp_sema_service_vas_force(u32 h_vas, u64 pdb, u32 entries, bool vid);
 int  gsp_sema_service_chan_rewind(u32 h_object);
 int  gsp_sema_service_counter_add(u32 h_object, u64 pa);
 void gsp_sema_service_doorbell(u32 token);