[PATCH v7 05/19] xen: rework xen timer so it can be used early in boot process

[John Baldwin]

On Thursday, December 19, 2013 1:54:42 pm Roger Pau Monne wrote:
> This should not introduce any functional change, and makes the
> functions suitable to be called before we have actually mapped the
> vcpu_info struct on a per-cpu basis.

Looks fine to me.

-- 
John Baldwin