Quelle  test-stat-detailed-2   Sprache: Coq

[config]
command = stat
args    = -dd kill >/dev/null 2>&1
ret     = 1


# PERF_TYPE_SOFTWARE / PERF_COUNT_SW_TASK_CLOCK
[event1:base-stat]
fd=1
type=1
config=1

# PERF_TYPE_SOFTWARE / PERF_COUNT_SW_CONTEXT_SWITCHES
[event2:base-stat]
fd=2
type=1
config=3

# PERF_TYPE_SOFTWARE / PERF_COUNT_SW_CPU_MIGRATIONS
[event3:base-stat]
fd=3
type=1
config=4

# PERF_TYPE_SOFTWARE / PERF_COUNT_SW_PAGE_FAULTS
[event4:base-stat]
fd=4
type=1
config=2

# PERF_TYPE_HARDWARE / PERF_COUNT_HW_CPU_CYCLES
[event5:base-stat]
fd=5
type=0
config=0
optional=1

# PERF_TYPE_HARDWARE / PERF_COUNT_HW_STALLED_CYCLES_FRONTEND
[event6:base-stat]
fd=6
type=0
config=7
optional=1

# PERF_TYPE_HARDWARE / PERF_COUNT_HW_STALLED_CYCLES_BACKEND
[event7:base-stat]
fd=7
type=0
config=8
optional=1

# PERF_TYPE_HARDWARE / PERF_COUNT_HW_INSTRUCTIONS
[event8:base-stat]
fd=8
type=0
config=1
optional=1

# PERF_TYPE_HARDWARE / PERF_COUNT_HW_BRANCH_INSTRUCTIONS
[event9:base-stat]
fd=9
type=0
config=4
optional=1

# PERF_TYPE_HARDWARE / PERF_COUNT_HW_BRANCH_MISSES
[event10:base-stat]
fd=10
type=0
config=5
optional=1

# PERF_TYPE_RAW / slots (0x400)
[event11:base-stat]
fd=11
group_fd=-1
type=4
config=1024
read_format=15
optional=1

# PERF_TYPE_RAW / topdown-retiring (0x8000)
[event12:base-stat]
fd=12
group_fd=11
type=4
config=32768
disabled=0
enable_on_exec=0
read_format=15
optional=1

# PERF_TYPE_RAW / topdown-bad-spec (0x8100)
[event13:base-stat]
fd=13
group_fd=11
type=4
config=33024
disabled=0
enable_on_exec=0
read_format=15
optional=1

# PERF_TYPE_RAW / topdown-fe-bound (0x8200)
[event14:base-stat]
fd=14
group_fd=11
type=4
config=33280
disabled=0
enable_on_exec=0
read_format=15
optional=1

# PERF_TYPE_RAW / topdown-be-bound (0x8300)
[event15:base-stat]
fd=15
group_fd=11
type=4
config=33536
disabled=0
enable_on_exec=0
read_format=15
optional=1

# PERF_TYPE_RAW / topdown-heavy-ops (0x8400)
[event16:base-stat]
fd=16
group_fd=11
type=4
config=33792
disabled=0
enable_on_exec=0
read_format=15
optional=1

# PERF_TYPE_RAW / topdown-br-mispredict (0x8500)
[event17:base-stat]
fd=17
group_fd=11
type=4
config=34048
disabled=0
enable_on_exec=0
read_format=15
optional=1

# PERF_TYPE_RAW / topdown-fetch-lat (0x8600)
[event18:base-stat]
fd=18
group_fd=11
type=4
config=34304
disabled=0
enable_on_exec=0
read_format=15
optional=1

# PERF_TYPE_RAW / topdown-mem-bound (0x8700)
[event19:base-stat]
fd=19
group_fd=11
type=4
config=34560
disabled=0
enable_on_exec=0
read_format=15
optional=1

# PERF_TYPE_RAW / INT_MISC.UOP_DROPPING
[event20:base-stat]
fd=20
type=4
config=4109
optional=1

# PERF_TYPE_RAW / cpu/INT_MISC.RECOVERY_CYCLES,cmask=1,edge/
[event21:base-stat]
fd=21
type=4
config=17039629
optional=1

# PERF_TYPE_RAW / CPU_CLK_UNHALTED.THREAD
[event22:base-stat]
fd=22
type=4
config=60
optional=1

# PERF_TYPE_RAW / INT_MISC.RECOVERY_CYCLES_ANY
[event23:base-stat]
fd=23
type=4
config=2097421
optional=1

# PERF_TYPE_RAW / CPU_CLK_UNHALTED.REF_XCLK
[event24:base-stat]
fd=24
type=4
config=316
optional=1

# PERF_TYPE_RAW / IDQ_UOPS_NOT_DELIVERED.CORE
[event25:base-stat]
fd=25
type=4
config=412
optional=1

# PERF_TYPE_RAW / CPU_CLK_UNHALTED.ONE_THREAD_ACTIVE
[event26:base-stat]
fd=26
type=4
config=572
optional=1

# PERF_TYPE_RAW / UOPS_RETIRED.RETIRE_SLOTS
[event27:base-stat]
fd=27
type=4
config=706
optional=1

# PERF_TYPE_RAW / UOPS_ISSUED.ANY
[event28:base-stat]
fd=28
type=4
config=270
optional=1

# PERF_TYPE_HW_CACHE /
#  PERF_COUNT_HW_CACHE_L1D                <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_ACCESS      << 16)
[event29:base-stat]
fd=29
type=3
config=0
optional=1

# PERF_TYPE_HW_CACHE /
#  PERF_COUNT_HW_CACHE_L1D                <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_MISS        << 16)
[event30:base-stat]
fd=30
type=3
config=65536
optional=1

# PERF_TYPE_HW_CACHE /
#  PERF_COUNT_HW_CACHE_LL                 <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_ACCESS      << 16)
[event31:base-stat]
fd=31
type=3
config=2
optional=1

# PERF_TYPE_HW_CACHE,
#  PERF_COUNT_HW_CACHE_LL                 <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_MISS        << 16)
[event32:base-stat]
fd=32
type=3
config=65538
optional=1

# PERF_TYPE_HW_CACHE,
#  PERF_COUNT_HW_CACHE_L1I                <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_ACCESS      << 16)
[event33:base-stat]
fd=33
type=3
config=1
optional=1

# PERF_TYPE_HW_CACHE,
#  PERF_COUNT_HW_CACHE_L1I                <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_MISS        << 16)
[event34:base-stat]
fd=34
type=3
config=65537
optional=1

# PERF_TYPE_HW_CACHE,
#  PERF_COUNT_HW_CACHE_DTLB               <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_ACCESS      << 16)
[event35:base-stat]
fd=35
type=3
config=3
optional=1

# PERF_TYPE_HW_CACHE,
#  PERF_COUNT_HW_CACHE_DTLB               <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_MISS        << 16)
[event36:base-stat]
fd=36
type=3
config=65539
optional=1

# PERF_TYPE_HW_CACHE,
#  PERF_COUNT_HW_CACHE_ITLB               <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_ACCESS      << 16)
[event37:base-stat]
fd=37
type=3
config=4
optional=1

# PERF_TYPE_HW_CACHE,
#  PERF_COUNT_HW_CACHE_ITLB               <<  0  |
# (PERF_COUNT_HW_CACHE_OP_READ            <<  8) |
# (PERF_COUNT_HW_CACHE_RESULT_MISS        << 16)
[event38:base-stat]
fd=38
type=3
config=65540
optional=1