diff options
| author | Denis Efremov <denis.e.efremov@oracle.com> | 2022-03-23 19:02:00 +0300 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2022-07-13 08:49:43 +0200 |
| commit | 5d921b0849eb1958da5e91793b7795131d28b54c (patch) | |
| tree | 64ef4725b3c152f0c7e2ae16ebf73759e8008035 /sys/linux | |
| parent | d91dd8ea00d74ae74acc65bc8e744802c7c72e31 (diff) | |
sys/linux: describe acpi_thermal_rel
Signed-off-by: Denis Efremov <denis.e.efremov@oracle.com>
Diffstat (limited to 'sys/linux')
| -rw-r--r-- | sys/linux/acpi_thermal_rel.txt | 50 | ||||
| -rw-r--r-- | sys/linux/acpi_thermal_rel.txt.const | 12 |
2 files changed, 62 insertions, 0 deletions
diff --git a/sys/linux/acpi_thermal_rel.txt b/sys/linux/acpi_thermal_rel.txt new file mode 100644 index 000000000..330462d48 --- /dev/null +++ b/sys/linux/acpi_thermal_rel.txt @@ -0,0 +1,50 @@ +# Copyright 2022 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +include <linux/acpi.h> +include <drivers/thermal/intel/int340x_thermal/acpi_thermal_rel.h> + +resource fd_acpi_thermal_rel[fd] + +openat$acpi_thermal_rel(fd const[AT_FDCWD], file ptr[in, string["/dev/acpi_thermal_rel"]], flags flags[open_flags], mode const[0]) fd_acpi_thermal_rel + +ioctl$ACPI_THERMAL_GET_TRT_COUNT(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_TRT_COUNT], arg ptr[out, intptr]) +ioctl$ACPI_THERMAL_GET_TRT_LEN(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_TRT_LEN], arg ptr[out, intptr]) +ioctl$ACPI_THERMAL_GET_TRT(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_TRT], arg ptr[out, trt_object]) + +trt_struct { + source_device array[int8, 8] + target_device array[int8, 8] + influence int64 + sample_period int64 + reserved array[int64, 4] +} + +trt_object [ + header trt_struct + data array[int64, 8] +] + +ioctl$ACPI_THERMAL_GET_ART_COUNT(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_ART_COUNT], arg ptr[out, intptr]) +ioctl$ACPI_THERMAL_GET_ART_LEN(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_ART_LEN], arg ptr[out, intptr]) +ioctl$ACPI_THERMAL_GET_ART(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_ART], arg ptr[out, art_object]) + +art_struct { + source_device array[int8, 8] + target_device array[int8, 8] + weight int64 + ac0_max_level int64 + ac1_max_level int64 + ac2_max_level int64 + ac3_max_level int64 + ac4_max_level int64 + ac6_max_level int64 + ac7_max_level int64 + ac8_max_level int64 + ac9_max_level int64 +} + +art_object [ + header art_struct + data array[int64, ACPI_NR_ART_ELEMENTS] +] diff --git a/sys/linux/acpi_thermal_rel.txt.const b/sys/linux/acpi_thermal_rel.txt.const new file mode 100644 index 000000000..9fc889100 --- /dev/null +++ b/sys/linux/acpi_thermal_rel.txt.const @@ -0,0 +1,12 @@ +# Code generated by syz-sysgen. DO NOT EDIT. +arches = amd64 +ACPI_NR_ART_ELEMENTS = amd64:13 +ACPI_THERMAL_GET_ART = amd64:2148037382 +ACPI_THERMAL_GET_ART_COUNT = amd64:2148037380 +ACPI_THERMAL_GET_ART_LEN = amd64:2148037378 +ACPI_THERMAL_GET_TRT = amd64:2148037381 +ACPI_THERMAL_GET_TRT_COUNT = amd64:2148037379 +ACPI_THERMAL_GET_TRT_LEN = amd64:2148037377 +AT_FDCWD = ??? +__NR_ioctl = amd64:16 +__NR_openat = amd64:257 |