add a debug message when receiving callback for devices

diff --git a/xenvm/xenvm.ml b/xenvm/xenvm.ml
index 6c0b84aa9e1f312a349609492c795ae195ee73e8..d484f338e8eb7ba2bdc90e4ea10631c950f6843a 100644 (file)
--- a/xenvm/xenvm.ml
+++ b/xenvm/xenvm.ml
@@ -327,6 +327,7 @@ let events state =
                                Device.Generic.rm_device_state ~xs device;
                        )
                        in
+               debug "xal device callback device (domid = %d, state domid = %d) event: %s" id state.vm_domid (Xal.string_of_dev_event dev_event);
                match dev_event with
                | Xal.HotplugChanged (true, "vif", devid, oldextra, newextra) ->
                        let devid = int_of_string devid in