aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/perf.txt
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2018-06-18 19:45:47 +0200
committerDmitry Vyukov <dvyukov@google.com>2018-06-18 19:45:47 +0200
commit920b18be87d248413f549d978d7dd68495a6ea7c (patch)
treee3b2857839df49df2efaf4337bfda737113cd2af /sys/linux/perf.txt
parent2dcee3b338d368c6d4f10e0e29c95cbc3ea4e9df (diff)
sys: mark output resources as opt
Mark output resources as opt in preparation for more precise constructor calculation.
Diffstat (limited to 'sys/linux/perf.txt')
-rw-r--r--sys/linux/perf.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/linux/perf.txt b/sys/linux/perf.txt
index 0f7255841..485f1a886 100644
--- a/sys/linux/perf.txt
+++ b/sys/linux/perf.txt
@@ -6,8 +6,8 @@ include <linux/hw_breakpoint.h>
resource fd_perf[fd]
-perf_event_open(attr ptr[in, perf_event_attr], pid pid, cpu intptr[0:16], group fd_perf, flags flags[perf_flags]) fd_perf
-perf_event_open$cgroup(attr ptr[in, perf_event_attr], fd fd_cgroup, cpu intptr[0:16], group fd_perf, flags flags[perf_flags]) fd_perf
+perf_event_open(attr ptr[in, perf_event_attr], pid pid, cpu intptr[0:16], group fd_perf[opt], flags flags[perf_flags]) fd_perf
+perf_event_open$cgroup(attr ptr[in, perf_event_attr], fd fd_cgroup, cpu intptr[0:16], group fd_perf[opt], flags flags[perf_flags]) fd_perf
ioctl$PERF_EVENT_IOC_ENABLE(fd fd_perf, cmd const[PERF_EVENT_IOC_ENABLE], flags intptr)
ioctl$PERF_EVENT_IOC_DISABLE(fd fd_perf, cmd const[PERF_EVENT_IOC_DISABLE], flags intptr)