blob: 07a3d355475ebb33d7037d5cc5eb415341f26503 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# Copyright 2021 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 <asm/msr.h>
include <uapi/asm/msr.h>
include <uapi/linux/fcntl.h>
resource fd_msr[fd]
syz_open_dev$MSR(dev ptr[in, string["/dev/cpu/#/msr"]], id intptr, flags const[O_RDONLY]) fd_msr
read$msr(fd fd_msr, buf buffer[out], count len[buf])
ioctl$X86_IOC_RDMSR_REGS(fd fd_msr, cmd const[X86_IOC_RDMSR_REGS], arg ptr[in, array[int32, 8]])
# Disallow writing to MSRs
_ = X86_IOC_WRMSR_REGS
|
