20b92da6db
The "-*- coding: utf-8 -*-" header was needed in Python 2, but in Python 3 UTF-8 is already the default encoding of source files. It is even less necessary in .css files that do not have UTF-8 sequences at all. Suggested-by: Manos Pitsidianakis <manos.pitsidianakis@linaro.org> Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Message-ID: <20250929154938.594389-4-pbonzini@redhat.com> Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
53 lines
1.6 KiB
Python
53 lines
1.6 KiB
Python
"""
|
|
Ftrace built-in backend.
|
|
"""
|
|
|
|
__author__ = "Eiichi Tsukata <eiichi.tsukata.xh@hitachi.com>"
|
|
__copyright__ = "Copyright (C) 2013 Hitachi, Ltd."
|
|
__license__ = "GPL version 2 or (at your option) any later version"
|
|
|
|
__maintainer__ = "Stefan Hajnoczi"
|
|
__email__ = "stefanha@redhat.com"
|
|
|
|
|
|
from tracetool import out
|
|
|
|
|
|
PUBLIC = True
|
|
|
|
|
|
def generate_h_begin(events, group):
|
|
out('#include "trace/ftrace.h"',
|
|
'')
|
|
|
|
|
|
def generate_h(event, group):
|
|
argnames = ", ".join(event.args.names())
|
|
if len(event.args) > 0:
|
|
argnames = ", " + argnames
|
|
|
|
out(' {',
|
|
' char ftrace_buf[MAX_TRACE_STRLEN];',
|
|
' int unused __attribute__ ((unused));',
|
|
' int trlen;',
|
|
' if (trace_event_get_state(%(event_id)s)) {',
|
|
'#line %(event_lineno)d "%(event_filename)s"',
|
|
' trlen = snprintf(ftrace_buf, MAX_TRACE_STRLEN,',
|
|
' "%(name)s " %(fmt)s "\\n" %(argnames)s);',
|
|
'#line %(out_next_lineno)d "%(out_filename)s"',
|
|
' trlen = MIN(trlen, MAX_TRACE_STRLEN - 1);',
|
|
' unused = write(trace_marker_fd, ftrace_buf, trlen);',
|
|
' }',
|
|
' }',
|
|
name=event.name,
|
|
args=event.args,
|
|
event_id="TRACE_" + event.name.upper(),
|
|
event_lineno=event.lineno,
|
|
event_filename=event.filename,
|
|
fmt=event.fmt.rstrip("\n"),
|
|
argnames=argnames)
|
|
|
|
|
|
def generate_h_backend_dstate(event, group):
|
|
out(' trace_event_get_state_dynamic_by_id(%(event_id)s) || \\',
|
|
event_id="TRACE_" + event.name.upper())
|