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