Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/events/intel/pt.c pt_buffer_reset_markers() -> pt_topa_entry_for_page()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->intr_te 0,4096-ptr_max
PARAM_VALUE 0 buf->intr_te->intr 0
PARAM_VALUE 0 buf->single 0
PARAM_VALUE 0 buf->stop_pos 0-9007199254740991
PARAM_VALUE 0 buf->stop_te 0,4096-ptr_max
PARAM_VALUE 0 buf->stop_te->intr 0
PARAM_VALUE 0 buf->stop_te->stop 0
DATA_SOURCE 0 buf $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 pg unit_page

arch/x86/events/intel/pt.c pt_buffer_reset_markers() -> pt_topa_entry_for_page()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->intr_pos 0-4503599627370495
PARAM_VALUE 0 buf->intr_te 0,4096-ptr_max
PARAM_VALUE 0 buf->intr_te->intr 0
PARAM_VALUE 0 buf->single 0
PARAM_VALUE 0 buf->stop_pos 0-9007199254740991
CAPPED_DATA 0 buf->stop_pos 1
CAPPED_DATA 0 buf->stop_te 1
DATA_SOURCE 0 buf $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 pg unit_page

arch/x86/events/intel/pt.c pt_buffer_reset_offsets() -> pt_topa_entry_for_page()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->single 0
CAPPED_DATA 1 pg 1
DATA_SOURCE 0 buf $0
RX_PATH
TASK_NOT_RUNNING