Index: sys/dev/xen/bus/xenpv.c
===================================================================
--- sys/dev/xen/bus/xenpv.c
+++ sys/dev/xen/bus/xenpv.c
@@ -77,7 +77,7 @@
 		return;
 
 	/* Make sure there's only one xenpv device. */
-	if (devclass_get_device(xenpv_devclass, 0))
+	if (devclass_get_device(devclass_find("xenpv"), 0))
 		return;
 
 	/*
Index: sys/dev/xen/timer/timer.c
===================================================================
--- sys/dev/xen/timer/timer.c
+++ sys/dev/xen/timer/timer.c
@@ -109,7 +109,7 @@
 		return;
 
 	/* Handle all Xen PV timers in one device instance. */
-	if (devclass_get_device(xentimer_devclass, 0))
+	if (devclass_get_device(devclass_find("xen_et"), 0))
 		return;
 
 	BUS_ADD_CHILD(parent, 0, "xen_et", 0);