53 	int fd, i;  in get_clocksources()  local
58 	fd = open("/sys/devices/system/clocksource/clocksource0/available_clocksource", O_RDONLY);  in get_clocksources()
60 	size = read(fd, buf, 512);  in get_clocksources()
62 	close(fd);  in get_clocksources()
88 	int fd;  in get_cur_clocksource()  local
90 	fd = open("/sys/devices/system/clocksource/clocksource0/current_clocksource", O_RDONLY);  in get_cur_clocksource()
92 	size = read(fd, buf, size);  in get_cur_clocksource()
99 	int fd;  in change_clocksource()  local
102 	fd = open("/sys/devices/system/clocksource/clocksource0/current_clocksource", O_WRONLY);  in change_clocksource()
104 	if (fd < 0)  in change_clocksource()
107 	size = write(fd, clocksource, strlen(clocksource));  in change_clocksource()
112 	close(fd);  in change_clocksource()