| kvm.h | linux-headers: update from kvm/next | 2015-12-17 15:24:34 +01:00 | 
		
			
			
			
			
				| kvm_para.h | linux-headers: update to 3.17-rc7 | 2014-10-10 10:37:47 +02:00 | 
		
			
			
			
			
				| psci.h | linux-headers: update from kvm/next | 2015-12-17 15:24:34 +01:00 | 
		
			
			
			
			
				| userfaultfd.h | Add Linux userfaultfd.h header | 2015-11-10 14:51:49 +01:00 | 
		
			
			
			
			
				| vfio.h | linux-headers: Update to 4.2-rc1 | 2015-07-06 17:59:01 +02:00 | 
		
			
			
			
			
				| vhost.h | vhost: rename RESET_DEVICE backto RESET_OWNER | 2015-11-12 15:49:33 +02:00 | 
		
			
			
			
			
				| virtio_config.h | linux-headers: use standard-headers | 2015-02-26 13:04:05 +01:00 | 
		
			
			
			
			
				| virtio_ring.h | linux-headers: use standard-headers | 2015-02-26 13:04:05 +01:00 |