 61d0b5a4b2
			
		
	
	
	61d0b5a4b2
	
	
	
		
			
			This makes them a bit more like the kernel headers, so we can include more real kernel headers in our tests. In addition this means that we don't break tools/virtio with the next patch. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
		
			
				
	
	
		
			4 lines
		
	
	
	
		
			95 B
			
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			4 lines
		
	
	
	
		
			95 B
			
		
	
	
	
		
			C
		
	
	
	
	
	
| #include "../../../include/linux/kern_levels.h"
 | |
| 
 | |
| #define printk printf
 | |
| #define vprintk vprintf
 |