event_high_res_timer   19 arch/um/os-Linux/time.c static timer_t event_high_res_timer = 0;
event_high_res_timer   45 arch/um/os-Linux/time.c 	timer_t *t = &event_high_res_timer;
event_high_res_timer   63 arch/um/os-Linux/time.c 	if (timer_settime(event_high_res_timer, 0, &its, NULL) == -1)
event_high_res_timer   79 arch/um/os-Linux/time.c 	timer_settime(event_high_res_timer, 0, &its, NULL);
event_high_res_timer   91 arch/um/os-Linux/time.c 	timer_settime(event_high_res_timer, 0, &its, NULL);