socsvn - Revision 337283: /soc2012/gmiller/locking-head-2015/sys/dev/xen/timer