github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/linux/acpi_thermal_rel.txt (about) 1 # Copyright 2022 syzkaller project authors. All rights reserved. 2 # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. 3 4 include <linux/acpi.h> 5 include <drivers/thermal/intel/int340x_thermal/acpi_thermal_rel.h> 6 7 resource fd_acpi_thermal_rel[fd] 8 9 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 10 11 ioctl$ACPI_THERMAL_GET_TRT_COUNT(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_TRT_COUNT], arg ptr[out, intptr]) 12 ioctl$ACPI_THERMAL_GET_TRT_LEN(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_TRT_LEN], arg ptr[out, intptr]) 13 ioctl$ACPI_THERMAL_GET_TRT(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_TRT], arg ptr[out, trt_object]) 14 15 trt_struct { 16 source_device array[int8, 8] 17 target_device array[int8, 8] 18 influence int64 19 sample_period int64 20 reserved array[int64, 4] 21 } 22 23 trt_object [ 24 header trt_struct 25 data array[int64, 8] 26 ] 27 28 ioctl$ACPI_THERMAL_GET_ART_COUNT(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_ART_COUNT], arg ptr[out, intptr]) 29 ioctl$ACPI_THERMAL_GET_ART_LEN(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_ART_LEN], arg ptr[out, intptr]) 30 ioctl$ACPI_THERMAL_GET_ART(fd fd_acpi_thermal_rel, cmd const[ACPI_THERMAL_GET_ART], arg ptr[out, art_object]) 31 32 art_struct { 33 source_device array[int8, 8] 34 target_device array[int8, 8] 35 weight int64 36 ac0_max_level int64 37 ac1_max_level int64 38 ac2_max_level int64 39 ac3_max_level int64 40 ac4_max_level int64 41 ac6_max_level int64 42 ac7_max_level int64 43 ac8_max_level int64 44 ac9_max_level int64 45 } 46 47 art_object [ 48 header art_struct 49 data array[int64, ACPI_NR_ART_ELEMENTS] 50 ]