Using static kernel tracing