socsvn - Revision 337283: /soc2015/sdouglas/pxebhyve-head/sys/dev/xen/timer