}
}
+void captive_shared_cache_map_set_data_invalid(CaptiveSharedCacheMapObject *captive_shared_cache_map_object,
+ guint64 start,guint64 end)
+{
+guint64 now;
+
+ g_return_if_fail(CAPTIVE_SHARED_CACHE_MAP_IS_OBJECT(captive_shared_cache_map_object));
+ g_return_if_fail(start<=end);
+ g_return_if_fail(end<=CAPTIVE_ROUND_UP64(captive_shared_cache_map_object->AllocationSize,PAGE_SIZE));
+
+ start=CAPTIVE_ROUND_DOWN64(start,PAGE_SIZE);
+ end=CAPTIVE_ROUND_UP64(end,PAGE_SIZE);
+
+ for (now=start;now<end;now+=PAGE_SIZE) {
+ captive_shared_cache_map_object->pages[now/PAGE_SIZE].data_valid=FALSE;
+ }
+}
+
void captive_shared_cache_map_set_dirty(CaptiveSharedCacheMapObject *captive_shared_cache_map_object,
guint64 start,guint64 end)
{
guint64 validate_start,guint64 validate_end);
void captive_shared_cache_map_set_data_valid(CaptiveSharedCacheMapObject *captive_shared_cache_map_object,
guint64 start,guint64 end);
+void captive_shared_cache_map_set_data_invalid(CaptiveSharedCacheMapObject *captive_shared_cache_map_object,
+ guint64 start,guint64 end);
void captive_shared_cache_map_set_dirty(CaptiveSharedCacheMapObject *captive_shared_cache_map_object,
guint64 start,guint64 end);
gboolean captive_shared_cache_map_is_page_dirty(CaptiveSharedCacheMapObject *captive_shared_cache_map_object,