Using dynamic kernel tracing