FreeBSD/sys/dev/xen/pvcpu/pvcpu.c
/*
 * Dummy Xen cpu device
 *
 * Since there's no ACPI on PVH guests, we need to create a dummy
 * CPU device in order to fill the pcpu->pc_device field.
 */
Dummy Xen cpu device
Since there's no ACPI on PVH guests, we need to create a dummy
CPU device in order to fill the pcpu->pc_device field.
Dummy Xen cpu device Since there ' s no ACPI on PVH guests we need to create a dummy CPU device in order to fill the pcpu - > pc_device field .
static void
xenpvcpu_identify(driver_t *driver, device_t parent)
{
	int i;
	if (!xen_pv_domain())
		return;
	CPU_FOREACH(i) {
		if (BUS_ADD_CHILD(parent, 0, "pvcpu", i) == NULL)
			panic("Unable to add Xen PV CPU device.");
	}
}
static void xenpvcpu_identify ( driver_t * driver , device_t parent ) { int i ; if ( ! xen_pv_domain ( ) ) return ; CPU_FOREACH ( i ) { if ( BUS_ADD_CHILD ( parent , 0 , " " , i ) == NULL ) panic ( " " ) ; } }
Dummy Xen cpu device
 Since there's no ACPI on PVH guests, we need to create a dummy
 CPU device in order to fill the pcpu->pc_device field.
Dummy Xen cpu device Since there ' s no ACPI on PVH guests we need to create a dummy CPU device in order to fill the pcpu - > pc_device field .
/* Only attach to PV guests, HVM guests use the ACPI CPU devices */