Signed-off-by: NJulia Lawall <Julia.Lawall@lip6.fr>
Reviewed-by: NRusty Russell <rusty@rustcorp.com.au>
Signed-off-by: NMichal Marek <mmarek@suse.cz>