On 01/14/2014 04:20 PM, Roger Pau Monné wrote:
> On 14/01/14 17:14, Julien Grall wrote:
>> On 01/14/2014 04:08 PM, Roger Pau Monné wrote:
>>> On 14/01/14 16:41, Julien Grall wrote:
On 01/14/2014 02:59 PM, Roger Pau Monne wrote:
> +static int
> +xenpv_attach(device_t dev)
> +{
>
On 01/14/2014 04:08 PM, Roger Pau Monné wrote:
> On 14/01/14 16:41, Julien Grall wrote:
>> On 01/14/2014 02:59 PM, Roger Pau Monne wrote:
>>> +static int
>>> +xenpv_attach(device_t dev)
>>> +{
>>> + device_t child;
>>> +
>>> + if (xen_hvm_domain()) {
>>> + device_t xenpci;
>>> +
On 14/01/14 17:14, Julien Grall wrote:
> On 01/14/2014 04:08 PM, Roger Pau Monné wrote:
>> On 14/01/14 16:41, Julien Grall wrote:
>>> On 01/14/2014 02:59 PM, Roger Pau Monne wrote:
+static int
+xenpv_attach(device_t dev)
+{
+ device_t child;
+
+ if (xen_hvm_domain())
On 14/01/14 16:41, Julien Grall wrote:
> On 01/14/2014 02:59 PM, Roger Pau Monne wrote:
>> +static int
>> +xenpv_attach(device_t dev)
>> +{
>> +device_t child;
>> +
>> +if (xen_hvm_domain()) {
>> +device_t xenpci;
>> +devclass_t dc;
>> +
>> +/* Make sure
On 01/14/2014 02:59 PM, Roger Pau Monne wrote:
> +static int
> +xenpv_attach(device_t dev)
> +{
> + device_t child;
> +
> + if (xen_hvm_domain()) {
> + device_t xenpci;
> + devclass_t dc;
> +
> + /* Make sure xenpci has been attached */
> + dc
Since Xen PVH guests doesn't have ACPI, we need to create a dummy
bus so top level Xen devices can attach to it (instead of
attaching directly to the nexus) and a pvcpu device that will be used
to fill the pcpu->pc_device field.
---
sys/conf/files.amd64 |1 +
sys/conf/files.i386 |1 +
sys
