SET_TSC_CTL 73 kernel/sys.c #ifndef SET_TSC_CTL SET_TSC_CTL 1726 kernel/sys.c error = SET_TSC_CTL(arg2);