xen_timer.c revision fdafd315
1