On 27/09/16 16:56, Roger Pau Monne wrote: > ... and using the "preempted" parameter. The solution relies on just calling > softirq_pending if the current domain is the idle domain. > > Signed-off-by: Roger Pau Monné <roger....@citrix.com>
You probably also want to add something to the effect of: "This allows us to call *_set_allocation() when building domain 0." Someone doing archeology doesn't want to dig out this series to figure out how it would be possible to call hap_set_allocation() while idle. :-) -George _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
