SET_TSC_CTL       103 kernel/sys.c   #ifndef SET_TSC_CTL
SET_TSC_CTL      2350 kernel/sys.c   		error = SET_TSC_CTL(arg2);