From f02201ce9abdc8b21dee6870bf978ef0ba988a2f Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Sat, 29 Dec 2018 19:19:49 +0100
Subject: sys/linux: describe /dev/vhci interface

---
 executor/syscalls.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'executor/syscalls.h')

diff --git a/executor/syscalls.h b/executor/syscalls.h
index 67cd8640f..53f6b8074 100644
--- a/executor/syscalls.h
+++ b/executor/syscalls.h
@@ -3757,6 +3757,7 @@ const call_t syscalls[] = {
     {"write$sndseq", 4},
     {"write$tun", 4},
     {"write$uinput_user_dev", 4},
+    {"write$vhci", 4},
     {"write$vnet", 4},
     {"writev", 146},
 
@@ -6237,6 +6238,7 @@ const call_t syscalls[] = {
     {"write$sndseq", 1},
     {"write$tun", 1},
     {"write$uinput_user_dev", 1},
+    {"write$vhci", 1},
     {"write$vnet", 1},
     {"writev", 20},
 
@@ -8667,6 +8669,7 @@ const call_t syscalls[] = {
     {"write$sndseq", 4},
     {"write$tun", 4},
     {"write$uinput_user_dev", 4},
+    {"write$vhci", 4},
     {"write$vnet", 4},
     {"writev", 146},
 
@@ -11069,6 +11072,7 @@ const call_t syscalls[] = {
     {"write$sndseq", 64},
     {"write$tun", 64},
     {"write$uinput_user_dev", 64},
+    {"write$vhci", 64},
     {"write$vnet", 64},
     {"writev", 66},
 
@@ -13358,6 +13362,7 @@ const call_t syscalls[] = {
     {"write$sndseq", 4},
     {"write$tun", 4},
     {"write$uinput_user_dev", 4},
+    {"write$vhci", 4},
     {"write$vnet", 4},
     {"writev", 146},
 
-- 
cgit mrf-deployment