[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Xen-devel] Xen's Linux kernel config options
>
> I see no way then in which init_hvm_pv_info() would be called for XEN_PV
> and XEN_PVH. In fact should we not be able to just BUG_ON(xen_pv_domain())
> above?
/me nods.
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel
|