xen/timer: make xen timer optional
The timer is not used on ARM.
Submitted by: Elliott Mitchell <ehem+freebsd@m5p.com>
Reviewed by: royger
Differential Revision: https://reviews.freebsd.org/D29041
xen/timer: make xen timer optional Tags None Referenced Files None Subscribers None
Description
Details
|