added TSC counter (inline assembly)