Lines Matching refs:sys_timer_gettime
4264 { 2, 0, sys_timer_gettime, "timer_gettime" }, /* 4259 */5569 { 2, 0, sys_timer_gettime, "timer_gettime" }, /* 5218 */6879 { 2, 0, sys_timer_gettime, "timer_gettime" }, /* 6222 */