1 /* 2 * XXX: it would be nice to be possible to flag some kind of 3 * never-fatal warning message here. 4 */ 5 6 #include <rump-sys/kern.h> 7