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