add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/mm/ioremap.c
..
..
@@ -241,6 +241,7 @@
241
241
 			break;
242
242
 	} while (pgd++, phys_addr += (next - addr), addr = next, addr != end);
243
243
 
244
+	arch_advertise_page_mapping(start, end);
244
245
 	flush_cache_vmap(start, end);
245
246
 
246
247
 	if (mask & ARCH_PAGE_TABLE_SYNC_MASK)