GET_TSC_CTL       100 kernel/sys.c   #ifndef GET_TSC_CTL
GET_TSC_CTL      2347 kernel/sys.c   		error = GET_TSC_CTL(arg2);