GET_TSC_CTL        70 kernel/sys.c   #ifndef GET_TSC_CTL
GET_TSC_CTL      1723 kernel/sys.c   			error = GET_TSC_CTL(arg2);