debug.c (0269ae4c19ad779b43b0d6e2416ac7386945d692) debug.c (ac959cf54421bc560c93748b227f05f9b6583678)
1/*
2 * Copyright (c) 2015 Roger Pau Monné <roger.pau@citrix.com>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 83 unchanged lines hidden (view full) ---

92
93static void
94xendebug_identify(driver_t *driver, device_t parent)
95{
96
97 KASSERT(xen_domain(),
98 ("Trying to add Xen debug device to non-xen guest"));
99
1/*
2 * Copyright (c) 2015 Roger Pau Monné <roger.pau@citrix.com>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 83 unchanged lines hidden (view full) ---

92
93static void
94xendebug_identify(driver_t *driver, device_t parent)
95{
96
97 KASSERT(xen_domain(),
98 ("Trying to add Xen debug device to non-xen guest"));
99
100 if (xen_hvm_domain() && !xen_vector_callback_enabled)
100 if (!xen_has_percpu_evtchn())
101 return;
102
103 if (BUS_ADD_CHILD(parent, 0, "debug", 0) == NULL)
104 panic("Unable to add Xen debug device.");
105}
106
107static int
108xendebug_probe(device_t dev)

--- 51 unchanged lines hidden --- 		101 return;
102
103 if (BUS_ADD_CHILD(parent, 0, "debug", 0) == NULL)
104 panic("Unable to add Xen debug device.");
105}
106
107static int
108xendebug_probe(device_t dev)

--- 51 unchanged lines hidden ---