RECORD_TIME_STAMP  478 kernel/gcov/gcc_3_4.c 	case RECORD_TIME_STAMP:
RECORD_TIME_STAMP  543 kernel/gcov/gcc_3_4.c 	case RECORD_TIME_STAMP: