On Fr, 2015-01-16 at 14:08 -0500, Don Koch wrote: > Signed-off-by: Don Koch <dk...@verizon.com>
> + trace_do_mouse_set(mon, index); First, I think we should have a better name for that one, maybe "input_mouse_set" ? Second I'm wondering what the use case is. The place is a bit strange (tracing management not guest behavior), also all the existing input trace points log the device index so you can already see how the events are routed ... cheers, Gerd
