socsvn - Revision 337283: /soc2017/kneitinger/libbe-head/sys/dev/xen/timer