add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/mm/vmalloc.c
..
..
@@ -272,6 +272,10 @@
272
272
 	return 0;
273
273
 }
274
274
 
275
+void __weak arch_advertise_page_mapping(unsigned long start, unsigned long end)
276
+{
277
+}
278
+
275
279
 /**
276
280
  * map_kernel_range_noflush - map kernel VM area with the specified pages
277
281
  * @addr: start of the VM area to map
..
..
@@ -315,6 +319,8 @@
315
319
 	if (mask & ARCH_PAGE_TABLE_SYNC_MASK)
316
320
 		arch_sync_kernel_mappings(start, end);
317
321
 
322
+	arch_advertise_page_mapping(start, end);
323
+
318
324
 	return 0;
319
325
 }
320
326