No functional change.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>
.contig = 0, /* Assume non-contiguous */
.xn = 1, /* No need to execute outside .text */
.avail = 0, /* Reference count for domheap mapping */
- }};;
+ }};
/*
* Setting the User bit is strange, but the ATS1H[RW] instructions
* don't seem to work otherwise, and since we never run on Xen
if ( v->vcpu_id == 0 )
{
- migrate_timer(&s->update_timer, v->processor);;
- migrate_timer(&s->update_timer2, v->processor);;
- migrate_timer(&s->alarm_timer, v->processor);;
+ migrate_timer(&s->update_timer, v->processor);
+ migrate_timer(&s->update_timer2, v->processor);
+ migrate_timer(&s->alarm_timer, v->processor);
}
}
if ( op->cmd == XEN_DOMCTL_setvcpuaffinity )
{
cpumask_var_t new_affinity, old_affinity;
- cpumask_t *online = cpupool_domain_cpumask(v->domain);;
+ cpumask_t *online = cpupool_domain_cpumask(v->domain);
/*
* We want to be able to restore hard affinity if we are trying
cpupool_domain_cpumask(v->domain));
v->processor = cpumask_any(cpumask_scratch_cpu(cpu));
- spin_unlock_irq(lock);;
+ spin_unlock_irq(lock);
lock = vcpu_schedule_lock_irq(v);
v->processor = SCHED_OP(vcpu_scheduler(v), pick_cpu, v);