aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/dev_kvm.txt
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2020-03-17 17:13:26 +0100
committerDmitry Vyukov <dvyukov@google.com>2020-03-17 21:19:13 +0100
commit97bc55cead011ec5d60af8c3696ee2724b78fea5 (patch)
treee59b94f9ea8d5631fdc1c3e16f5cb60b5b84cb33 /sys/linux/dev_kvm.txt
parent61e9cc09afc5bf1afdd993a6863ba063b07f0bb2 (diff)
pkg/compiler: check that flags values fit into base type
flags[foo, int8] foo = 0x12345678 is always an error, detect these cases. Found some bugs in mptcp, packet sockets, kvm.
Diffstat (limited to 'sys/linux/dev_kvm.txt')
-rw-r--r--sys/linux/dev_kvm.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/dev_kvm.txt b/sys/linux/dev_kvm.txt
index eba775bd0..7b67c9d5d 100644
--- a/sys/linux/dev_kvm.txt
+++ b/sys/linux/dev_kvm.txt
@@ -654,7 +654,7 @@ kvm_segment {
kvm_dtable {
base flags[kvm_guest_addrs, int64]
- limit flags[kvm_guest_addrs, int16]
+ limit int16
pad array[const[0, int16], 3]
}