diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-03-22 12:21:51 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-03-24 08:43:00 +0100 |
| commit | ef871b2e4ff7b6a8f84a6a0a0fd3e9c3ed8e67b4 (patch) | |
| tree | b7cf2e1c4daf6ddab668bb2dd5b9c74a47724647 /sys/linux/dev_tlk_device.txt | |
| parent | 8cf47975a6532c9cb87e7c5dbfd462f5299a078b (diff) | |
sys/linux: don't use syz_open_dev when openat is enough
Diffstat (limited to 'sys/linux/dev_tlk_device.txt')
| -rw-r--r-- | sys/linux/dev_tlk_device.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/dev_tlk_device.txt b/sys/linux/dev_tlk_device.txt index ab9bee637..a60649b25 100644 --- a/sys/linux/dev_tlk_device.txt +++ b/sys/linux/dev_tlk_device.txt @@ -12,7 +12,7 @@ include <security/tlk_driver/ote_protocol.h> resource fd_tlk[fd] resource te_session_id[int32] -syz_open_dev$tlk_device(dev ptr[in, string["/dev/tlk_device"]], id const[0], flags flags[open_flags]) fd_tlk +openat$tlk_device(fd const[AT_FDCWD], file ptr[in, string["/dev/tlk_device"]], flags flags[open_flags]) fd_tlk ioctl$TE_IOCTL_OPEN_CLIENT_SESSION(fd fd_tlk, cmd const[TE_IOCTL_OPEN_CLIENT_SESSION], arg ptr[inout, te_opensession]) ioctl$TE_IOCTL_CLOSE_CLIENT_SESSION(fd fd_tlk, cmd const[TE_IOCTL_CLOSE_CLIENT_SESSION], arg ptr[inout, te_closesession]) |