sys/linux: describe /dev/vhci interface

12 files changed, 278 insertions, 21 deletions

diff --git a/sys/linux/gen/386.go b/sys/linux/gen/386.go
index e33a60658..b4a77f50d 100644
--- a/sys/linux/gen/386.go
+++ b/sys/linux/gen/386.go
@@ -91,6 +91,7 @@ var resources_386 = []*ResourceDesc{
 	{Name: "fd_uinput", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_uinput"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_userio", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_userio"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_v4l2_buffer", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_v4l2_buffer"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
+	{Name: "fd_vhci", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhci"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_vhost", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhost"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_video", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_video"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "genl_fou_family_id", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", TypeSize: 2}}}, Kind: []string{"genl_fou_family_id"}, Values: []uint64{0}},
@@ -22746,6 +22747,28 @@ var structDescs_386 = []*KeyedStruct{
 		&ArrayType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", TypeSize: 16}, Type: &StructType{Key: StructKey{Name: "vfs_cap_elem"}}, Kind: 1, RangeBegin: 2, RangeEnd: 2},
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "uid", FldName: "rootid", TypeSize: 4}},
 	}}},
+	{Key: StructKey{Name: "vhci_command"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command", IsVarlen: true}, Fields: []Type{
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, FldName: "HCI_EVENT_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, FldName: "HCI_ACLDATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, FldName: "HCI_SCODATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_vendor_pkt"}, FldName: "HCI_VENDOR_PKT"},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_ACLDATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 2},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_EVENT_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 4},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_SCODATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 3},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_vendor_pkt"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_vendor_pkt", TypeSize: 2}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 255},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "vhci_vendor_pkt_opcode", FldName: "opcode", TypeSize: 1}}, Vals: []uint64{0, 1, 64, 128}, BitMask: true},
+	}}},
 	{Key: StructKey{Name: "vhost_iotlb_msg"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhost_iotlb_msg", TypeSize: 32}, Fields: []Type{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr64", FldName: "iova", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "array", ArgDir: 1, IsVarlen: true}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "size", TypeSize: 8}}, Buf: "iova"},
@@ -33424,12 +33447,11 @@ var syscalls_386 = []*Syscall{
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 4}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 16384, 65536, 128, 32768, 262144, 256, 131072, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 4}}},
 	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
-	{NR: 295, Name: "openat$vhci", CallName: "openat", Args: []Type{
+	{NR: 295, Name: "openat$vhci", CallName: "openat", MissingArgs: 1, Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 4}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 4}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 10}, Kind: 2, Values: []string{"/dev/vhci\x00"}}},
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 4}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 16384, 65536, 128, 32768, 262144, 256, 131072, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
-		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 4}}},
-	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
+	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
 	{NR: 295, Name: "openat$vhost_vsock", CallName: "openat", Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 4}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 4}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 17}, Kind: 2, Values: []string{"/dev/vhost-vsock\x00"}}},
@@ -38347,6 +38369,11 @@ var syscalls_386 = []*Syscall{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 4}, Type: &StructType{Key: StructKey{Name: "uinput_user_dev"}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "len", TypeSize: 4}}, Buf: "data"},
 	}},
+	{NR: 4, Name: "write$vhci", CallName: "write", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "fd", TypeSize: 4}},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 4}, Type: &UnionType{Key: StructKey{Name: "vhci_command"}}},
+		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "bytesize", FldName: "size", TypeSize: 4}}, BitSize: 8, Buf: "data"},
+	}},
 	{NR: 4, Name: "write$vnet", CallName: "write", Args: []Type{
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "vhost_net", FldName: "fd", TypeSize: 4}},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "buf", TypeSize: 4}, Type: &StructType{Key: StructKey{Name: "vhost_msg"}}},
@@ -39772,13 +39799,21 @@ var consts_386 = []ConstValue{
 	{Name: "HCISETSCAN", Value: 1074022621},
 	{Name: "HCISETSCOMTU", Value: 1074022628},
 	{Name: "HCIUNBLOCKADDR", Value: 1074022631},
+	{Name: "HCI_ACLDATA_PKT", Value: 2},
+	{Name: "HCI_AMP", Value: 1},
 	{Name: "HCI_CHANNEL_CONTROL", Value: 3},
 	{Name: "HCI_CHANNEL_MONITOR", Value: 2},
 	{Name: "HCI_CHANNEL_RAW"},
 	{Name: "HCI_CHANNEL_USER", Value: 1},
 	{Name: "HCI_DATA_DIR", Value: 1},
+	{Name: "HCI_EVENT_PKT", Value: 4},
+	{Name: "HCI_EXTERNAL_CONFIG", Value: 64},
 	{Name: "HCI_FILTER", Value: 2},
+	{Name: "HCI_PRIMARY"},
+	{Name: "HCI_RAW_DEVICE", Value: 128},
+	{Name: "HCI_SCODATA_PKT", Value: 3},
 	{Name: "HCI_TIME_STAMP", Value: 3},
+	{Name: "HCI_VENDOR_PKT", Value: 255},
 	{Name: "HDIO_GETGEO", Value: 769},
 	{Name: "HIDPCONNADD", Value: 1074022600},
 	{Name: "HIDPCONNDEL", Value: 1074022601},
@@ -45319,4 +45354,4 @@ var consts_386 = []ConstValue{
 	{Name: "bpf_insn_load_imm_dw", Value: 24},
 }
 
-const revision_386 = "20218ec69f7c1ec131465ea493d18d6001874ea0"
+const revision_386 = "a569e74cc4b85ef505e858f7bf7dca76351a6646"
diff --git a/sys/linux/gen/amd64.go b/sys/linux/gen/amd64.go
index 64bb5a3ae..ba7e75b21 100644
--- a/sys/linux/gen/amd64.go
+++ b/sys/linux/gen/amd64.go
@@ -91,6 +91,7 @@ var resources_amd64 = []*ResourceDesc{
 	{Name: "fd_uinput", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_uinput"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_userio", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_userio"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_v4l2_buffer", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_v4l2_buffer"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
+	{Name: "fd_vhci", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhci"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_vhost", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhost"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_video", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_video"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "genl_fou_family_id", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", TypeSize: 2}}}, Kind: []string{"genl_fou_family_id"}, Values: []uint64{0}},
@@ -23173,6 +23174,28 @@ var structDescs_amd64 = []*KeyedStruct{
 		&ArrayType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", TypeSize: 16}, Type: &StructType{Key: StructKey{Name: "vfs_cap_elem"}}, Kind: 1, RangeBegin: 2, RangeEnd: 2},
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "uid", FldName: "rootid", TypeSize: 4}},
 	}}},
+	{Key: StructKey{Name: "vhci_command"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command", IsVarlen: true}, Fields: []Type{
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, FldName: "HCI_EVENT_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, FldName: "HCI_ACLDATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, FldName: "HCI_SCODATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_vendor_pkt"}, FldName: "HCI_VENDOR_PKT"},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_ACLDATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 2},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_EVENT_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 4},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_SCODATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 3},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_vendor_pkt"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_vendor_pkt", TypeSize: 2}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 255},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "vhci_vendor_pkt_opcode", FldName: "opcode", TypeSize: 1}}, Vals: []uint64{0, 1, 64, 128}, BitMask: true},
+	}}},
 	{Key: StructKey{Name: "vhost_iotlb_msg"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhost_iotlb_msg", TypeSize: 32}, Fields: []Type{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr64", FldName: "iova", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "array", ArgDir: 1, IsVarlen: true}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "size", TypeSize: 8}}, Buf: "iova"},
@@ -34040,12 +34063,11 @@ var syscalls_amd64 = []*Syscall{
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 8}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 16384, 65536, 128, 32768, 262144, 256, 131072, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 8}}},
 	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
-	{NR: 257, Name: "openat$vhci", CallName: "openat", Args: []Type{
+	{NR: 257, Name: "openat$vhci", CallName: "openat", MissingArgs: 1, Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 8}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 10}, Kind: 2, Values: []string{"/dev/vhci\x00"}}},
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 8}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 16384, 65536, 128, 32768, 262144, 256, 131072, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
-		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 8}}},
-	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
+	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
 	{NR: 257, Name: "openat$vhost_vsock", CallName: "openat", Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 8}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 17}, Kind: 2, Values: []string{"/dev/vhost-vsock\x00"}}},
@@ -39112,6 +39134,11 @@ var syscalls_amd64 = []*Syscall{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "uinput_user_dev"}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "len", TypeSize: 8}}, Buf: "data"},
 	}},
+	{NR: 1, Name: "write$vhci", CallName: "write", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "fd", TypeSize: 4}},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 8}, Type: &UnionType{Key: StructKey{Name: "vhci_command"}}},
+		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "bytesize", FldName: "size", TypeSize: 8}}, BitSize: 8, Buf: "data"},
+	}},
 	{NR: 1, Name: "write$vnet", CallName: "write", Args: []Type{
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "vhost_net", FldName: "fd", TypeSize: 4}},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "buf", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "vhost_msg"}}},
@@ -40537,13 +40564,21 @@ var consts_amd64 = []ConstValue{
 	{Name: "HCISETSCAN", Value: 1074022621},
 	{Name: "HCISETSCOMTU", Value: 1074022628},
 	{Name: "HCIUNBLOCKADDR", Value: 1074022631},
+	{Name: "HCI_ACLDATA_PKT", Value: 2},
+	{Name: "HCI_AMP", Value: 1},
 	{Name: "HCI_CHANNEL_CONTROL", Value: 3},
 	{Name: "HCI_CHANNEL_MONITOR", Value: 2},
 	{Name: "HCI_CHANNEL_RAW"},
 	{Name: "HCI_CHANNEL_USER", Value: 1},
 	{Name: "HCI_DATA_DIR", Value: 1},
+	{Name: "HCI_EVENT_PKT", Value: 4},
+	{Name: "HCI_EXTERNAL_CONFIG", Value: 64},
 	{Name: "HCI_FILTER", Value: 2},
+	{Name: "HCI_PRIMARY"},
+	{Name: "HCI_RAW_DEVICE", Value: 128},
+	{Name: "HCI_SCODATA_PKT", Value: 3},
 	{Name: "HCI_TIME_STAMP", Value: 3},
+	{Name: "HCI_VENDOR_PKT", Value: 255},
 	{Name: "HDIO_GETGEO", Value: 769},
 	{Name: "HIDPCONNADD", Value: 1074022600},
 	{Name: "HIDPCONNDEL", Value: 1074022601},
@@ -46109,4 +46144,4 @@ var consts_amd64 = []ConstValue{
 	{Name: "bpf_insn_load_imm_dw", Value: 24},
 }
 
-const revision_amd64 = "d9021a754335369176d195ac6cb4ed3a55494516"
+const revision_amd64 = "f91d501104e277ba5dc70f5203fe0ecfdcb7d3bc"
diff --git a/sys/linux/gen/arm.go b/sys/linux/gen/arm.go
index 49c960a85..71c222114 100644
--- a/sys/linux/gen/arm.go
+++ b/sys/linux/gen/arm.go
@@ -91,6 +91,7 @@ var resources_arm = []*ResourceDesc{
 	{Name: "fd_uinput", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_uinput"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_userio", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_userio"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_v4l2_buffer", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_v4l2_buffer"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
+	{Name: "fd_vhci", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhci"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_vhost", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhost"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_video", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_video"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "genl_fou_family_id", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", TypeSize: 2}}}, Kind: []string{"genl_fou_family_id"}, Values: []uint64{0}},
@@ -22611,6 +22612,28 @@ var structDescs_arm = []*KeyedStruct{
 		&ArrayType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", TypeSize: 16}, Type: &StructType{Key: StructKey{Name: "vfs_cap_elem"}}, Kind: 1, RangeBegin: 2, RangeEnd: 2},
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "uid", FldName: "rootid", TypeSize: 4}},
 	}}},
+	{Key: StructKey{Name: "vhci_command"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command", IsVarlen: true}, Fields: []Type{
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, FldName: "HCI_EVENT_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, FldName: "HCI_ACLDATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, FldName: "HCI_SCODATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_vendor_pkt"}, FldName: "HCI_VENDOR_PKT"},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_ACLDATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 2},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_EVENT_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 4},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_SCODATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 3},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_vendor_pkt"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_vendor_pkt", TypeSize: 2}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 255},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "vhci_vendor_pkt_opcode", FldName: "opcode", TypeSize: 1}}, Vals: []uint64{0, 1, 64, 128}, BitMask: true},
+	}}},
 	{Key: StructKey{Name: "vhost_iotlb_msg"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhost_iotlb_msg", TypeSize: 32}, Fields: []Type{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr64", FldName: "iova", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "array", ArgDir: 1, IsVarlen: true}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "size", TypeSize: 8}}, Buf: "iova"},
@@ -33193,12 +33216,11 @@ var syscalls_arm = []*Syscall{
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 4}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 65536, 16384, 128, 131072, 262144, 256, 32768, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 4}}},
 	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
-	{NR: 322, Name: "openat$vhci", CallName: "openat", Args: []Type{
+	{NR: 322, Name: "openat$vhci", CallName: "openat", MissingArgs: 1, Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 4}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 4}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 10}, Kind: 2, Values: []string{"/dev/vhci\x00"}}},
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 4}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 65536, 16384, 128, 131072, 262144, 256, 32768, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
-		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 4}}},
-	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
+	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
 	{NR: 322, Name: "openat$vhost_vsock", CallName: "openat", Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 4}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 4}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 17}, Kind: 2, Values: []string{"/dev/vhost-vsock\x00"}}},
@@ -38248,6 +38270,11 @@ var syscalls_arm = []*Syscall{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 4}, Type: &StructType{Key: StructKey{Name: "uinput_user_dev"}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "len", TypeSize: 4}}, Buf: "data"},
 	}},
+	{NR: 4, Name: "write$vhci", CallName: "write", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "fd", TypeSize: 4}},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 4}, Type: &UnionType{Key: StructKey{Name: "vhci_command"}}},
+		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "bytesize", FldName: "size", TypeSize: 4}}, BitSize: 8, Buf: "data"},
+	}},
 	{NR: 4, Name: "write$vnet", CallName: "write", Args: []Type{
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "vhost_net", FldName: "fd", TypeSize: 4}},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "buf", TypeSize: 4}, Type: &StructType{Key: StructKey{Name: "vhost_msg"}}},
@@ -39664,13 +39691,21 @@ var consts_arm = []ConstValue{
 	{Name: "HCISETSCAN", Value: 1074022621},
 	{Name: "HCISETSCOMTU", Value: 1074022628},
 	{Name: "HCIUNBLOCKADDR", Value: 1074022631},
+	{Name: "HCI_ACLDATA_PKT", Value: 2},
+	{Name: "HCI_AMP", Value: 1},
 	{Name: "HCI_CHANNEL_CONTROL", Value: 3},
 	{Name: "HCI_CHANNEL_MONITOR", Value: 2},
 	{Name: "HCI_CHANNEL_RAW"},
 	{Name: "HCI_CHANNEL_USER", Value: 1},
 	{Name: "HCI_DATA_DIR", Value: 1},
+	{Name: "HCI_EVENT_PKT", Value: 4},
+	{Name: "HCI_EXTERNAL_CONFIG", Value: 64},
 	{Name: "HCI_FILTER", Value: 2},
+	{Name: "HCI_PRIMARY"},
+	{Name: "HCI_RAW_DEVICE", Value: 128},
+	{Name: "HCI_SCODATA_PKT", Value: 3},
 	{Name: "HCI_TIME_STAMP", Value: 3},
+	{Name: "HCI_VENDOR_PKT", Value: 255},
 	{Name: "HDIO_GETGEO", Value: 769},
 	{Name: "HIDPCONNADD", Value: 1074022600},
 	{Name: "HIDPCONNDEL", Value: 1074022601},
@@ -45158,4 +45193,4 @@ var consts_arm = []ConstValue{
 	{Name: "bpf_insn_load_imm_dw", Value: 24},
 }
 
-const revision_arm = "4a132bf49df4a13bfa7399474f52a5f75d04e72b"
+const revision_arm = "42379ed2559d827303dab6fe6d6326294ec395eb"
diff --git a/sys/linux/gen/arm64.go b/sys/linux/gen/arm64.go
index cd518d9d1..f244caf3e 100644
--- a/sys/linux/gen/arm64.go
+++ b/sys/linux/gen/arm64.go
@@ -91,6 +91,7 @@ var resources_arm64 = []*ResourceDesc{
 	{Name: "fd_uinput", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_uinput"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_userio", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_userio"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_v4l2_buffer", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_v4l2_buffer"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
+	{Name: "fd_vhci", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhci"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_vhost", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhost"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_video", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_video"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "genl_fou_family_id", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", TypeSize: 2}}}, Kind: []string{"genl_fou_family_id"}, Values: []uint64{0}},
@@ -22965,6 +22966,28 @@ var structDescs_arm64 = []*KeyedStruct{
 		&ArrayType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", TypeSize: 16}, Type: &StructType{Key: StructKey{Name: "vfs_cap_elem"}}, Kind: 1, RangeBegin: 2, RangeEnd: 2},
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "uid", FldName: "rootid", TypeSize: 4}},
 	}}},
+	{Key: StructKey{Name: "vhci_command"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command", IsVarlen: true}, Fields: []Type{
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, FldName: "HCI_EVENT_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, FldName: "HCI_ACLDATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, FldName: "HCI_SCODATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_vendor_pkt"}, FldName: "HCI_VENDOR_PKT"},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_ACLDATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 2},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_EVENT_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 4},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_SCODATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 3},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_vendor_pkt"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_vendor_pkt", TypeSize: 2}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 255},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "vhci_vendor_pkt_opcode", FldName: "opcode", TypeSize: 1}}, Vals: []uint64{0, 1, 64, 128}, BitMask: true},
+	}}},
 	{Key: StructKey{Name: "vhost_iotlb_msg"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhost_iotlb_msg", TypeSize: 32}, Fields: []Type{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr64", FldName: "iova", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "array", ArgDir: 1, IsVarlen: true}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "size", TypeSize: 8}}, Buf: "iova"},
@@ -33572,12 +33595,11 @@ var syscalls_arm64 = []*Syscall{
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 8}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 65536, 16384, 128, 131072, 262144, 256, 32768, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 8}}},
 	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
-	{NR: 56, Name: "openat$vhci", CallName: "openat", Args: []Type{
+	{NR: 56, Name: "openat$vhci", CallName: "openat", MissingArgs: 1, Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 8}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 10}, Kind: 2, Values: []string{"/dev/vhci\x00"}}},
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 8}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 65536, 16384, 128, 131072, 262144, 256, 32768, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
-		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 8}}},
-	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
+	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
 	{NR: 56, Name: "openat$vhost_vsock", CallName: "openat", Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 8}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 17}, Kind: 2, Values: []string{"/dev/vhost-vsock\x00"}}},
@@ -38567,6 +38589,11 @@ var syscalls_arm64 = []*Syscall{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "uinput_user_dev"}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "len", TypeSize: 8}}, Buf: "data"},
 	}},
+	{NR: 64, Name: "write$vhci", CallName: "write", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "fd", TypeSize: 4}},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 8}, Type: &UnionType{Key: StructKey{Name: "vhci_command"}}},
+		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "bytesize", FldName: "size", TypeSize: 8}}, BitSize: 8, Buf: "data"},
+	}},
 	{NR: 64, Name: "write$vnet", CallName: "write", Args: []Type{
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "vhost_net", FldName: "fd", TypeSize: 4}},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "buf", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "vhost_msg"}}},
@@ -39983,13 +40010,21 @@ var consts_arm64 = []ConstValue{
 	{Name: "HCISETSCAN", Value: 1074022621},
 	{Name: "HCISETSCOMTU", Value: 1074022628},
 	{Name: "HCIUNBLOCKADDR", Value: 1074022631},
+	{Name: "HCI_ACLDATA_PKT", Value: 2},
+	{Name: "HCI_AMP", Value: 1},
 	{Name: "HCI_CHANNEL_CONTROL", Value: 3},
 	{Name: "HCI_CHANNEL_MONITOR", Value: 2},
 	{Name: "HCI_CHANNEL_RAW"},
 	{Name: "HCI_CHANNEL_USER", Value: 1},
 	{Name: "HCI_DATA_DIR", Value: 1},
+	{Name: "HCI_EVENT_PKT", Value: 4},
+	{Name: "HCI_EXTERNAL_CONFIG", Value: 64},
 	{Name: "HCI_FILTER", Value: 2},
+	{Name: "HCI_PRIMARY"},
+	{Name: "HCI_RAW_DEVICE", Value: 128},
+	{Name: "HCI_SCODATA_PKT", Value: 3},
 	{Name: "HCI_TIME_STAMP", Value: 3},
+	{Name: "HCI_VENDOR_PKT", Value: 255},
 	{Name: "HDIO_GETGEO", Value: 769},
 	{Name: "HIDPCONNADD", Value: 1074022600},
 	{Name: "HIDPCONNDEL", Value: 1074022601},
@@ -45467,4 +45502,4 @@ var consts_arm64 = []ConstValue{
 	{Name: "bpf_insn_load_imm_dw", Value: 24},
 }
 
-const revision_arm64 = "7d1f3ce03b9f895596390ca5497802016b835d9d"
+const revision_arm64 = "890fb03244be59460f1cdfe95d800eb770f5b372"
diff --git a/sys/linux/gen/ppc64le.go b/sys/linux/gen/ppc64le.go
index dc38ee0ae..a3451cdb6 100644
--- a/sys/linux/gen/ppc64le.go
+++ b/sys/linux/gen/ppc64le.go
@@ -89,6 +89,7 @@ var resources_ppc64le = []*ResourceDesc{
 	{Name: "fd_uhid", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_uhid"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_uinput", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_uinput"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_userio", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_userio"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
+	{Name: "fd_vhci", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhci"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_vhost", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_vhost"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "fd_video", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}}, Kind: []string{"fd", "fd_video"}, Values: []uint64{18446744073709551615, 18446744073709551516}},
 	{Name: "genl_fou_family_id", Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", TypeSize: 2}}}, Kind: []string{"genl_fou_family_id"}, Values: []uint64{0}},
@@ -21988,6 +21989,28 @@ var structDescs_ppc64le = []*KeyedStruct{
 		&ArrayType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", TypeSize: 16}, Type: &StructType{Key: StructKey{Name: "vfs_cap_elem"}}, Kind: 1, RangeBegin: 2, RangeEnd: 2},
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "uid", FldName: "rootid", TypeSize: 4}},
 	}}},
+	{Key: StructKey{Name: "vhci_command"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command", IsVarlen: true}, Fields: []Type{
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, FldName: "HCI_EVENT_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, FldName: "HCI_ACLDATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, FldName: "HCI_SCODATA_PKT"},
+		&StructType{Key: StructKey{Name: "vhci_command_vendor_pkt"}, FldName: "HCI_VENDOR_PKT"},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_ACLDATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_ACLDATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 2},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_EVENT_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_EVENT_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 4},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_generic[HCI_SCODATA_PKT]"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_generic[HCI_SCODATA_PKT]", IsVarlen: true}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 3},
+		&BufferType{TypeCommon: TypeCommon{TypeName: "array", FldName: "data", IsVarlen: true}},
+	}}},
+	{Key: StructKey{Name: "vhci_command_vendor_pkt"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhci_command_vendor_pkt", TypeSize: 2}, Fields: []Type{
+		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "cmd", TypeSize: 1}}, Val: 255},
+		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "vhci_vendor_pkt_opcode", FldName: "opcode", TypeSize: 1}}, Vals: []uint64{0, 1, 64, 128}, BitMask: true},
+	}}},
 	{Key: StructKey{Name: "vhost_iotlb_msg"}, Desc: &StructDesc{TypeCommon: TypeCommon{TypeName: "vhost_iotlb_msg", TypeSize: 32}, Fields: []Type{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr64", FldName: "iova", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "array", ArgDir: 1, IsVarlen: true}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "size", TypeSize: 8}}, Buf: "iova"},
@@ -32054,12 +32077,11 @@ var syscalls_ppc64le = []*Syscall{
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 8}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 131072, 16384, 128, 65536, 262144, 256, 32768, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 8}}},
 	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
-	{NR: 286, Name: "openat$vhci", CallName: "openat", Args: []Type{
+	{NR: 286, Name: "openat$vhci", CallName: "openat", MissingArgs: 1, Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 8}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 10}, Kind: 2, Values: []string{"/dev/vhci\x00"}}},
 		&FlagsType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "open_flags", FldName: "flags", TypeSize: 8}}, Vals: []uint64{0, 1, 2, 1024, 8192, 524288, 64, 131072, 16384, 128, 65536, 262144, 256, 32768, 2048, 2097152, 1052672, 512, 4194304}, BitMask: true},
-		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "mode", TypeSize: 8}}},
-	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
+	}, Ret: &ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "ret", TypeSize: 4, ArgDir: 1}}},
 	{NR: 286, Name: "openat$vhost_vsock", CallName: "openat", Args: []Type{
 		&ConstType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "const", FldName: "fd", TypeSize: 8}}, Val: 18446744073709551516},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "file", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "string", TypeSize: 17}, Kind: 2, Values: []string{"/dev/vhost-vsock\x00"}}},
@@ -36962,6 +36984,11 @@ var syscalls_ppc64le = []*Syscall{
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "uinput_user_dev"}}},
 		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "len", FldName: "len", TypeSize: 8}}, Buf: "data"},
 	}},
+	{NR: 4, Name: "write$vhci", CallName: "write", Args: []Type{
+		&ResourceType{TypeCommon: TypeCommon{TypeName: "fd_vhci", FldName: "fd", TypeSize: 4}},
+		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "data", TypeSize: 8}, Type: &UnionType{Key: StructKey{Name: "vhci_command"}}},
+		&LenType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "bytesize", FldName: "size", TypeSize: 8}}, BitSize: 8, Buf: "data"},
+	}},
 	{NR: 4, Name: "write$vnet", CallName: "write", Args: []Type{
 		&ResourceType{TypeCommon: TypeCommon{TypeName: "vhost_net", FldName: "fd", TypeSize: 4}},
 		&PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "buf", TypeSize: 8}, Type: &StructType{Key: StructKey{Name: "vhost_msg"}}},
@@ -38378,13 +38405,21 @@ var consts_ppc64le = []ConstValue{
 	{Name: "HCISETSCAN", Value: 2147764445},
 	{Name: "HCISETSCOMTU", Value: 2147764452},
 	{Name: "HCIUNBLOCKADDR", Value: 2147764455},
+	{Name: "HCI_ACLDATA_PKT", Value: 2},
+	{Name: "HCI_AMP", Value: 1},
 	{Name: "HCI_CHANNEL_CONTROL", Value: 3},
 	{Name: "HCI_CHANNEL_MONITOR", Value: 2},
 	{Name: "HCI_CHANNEL_RAW"},
 	{Name: "HCI_CHANNEL_USER", Value: 1},
 	{Name: "HCI_DATA_DIR", Value: 1},
+	{Name: "HCI_EVENT_PKT", Value: 4},
+	{Name: "HCI_EXTERNAL_CONFIG", Value: 64},
 	{Name: "HCI_FILTER", Value: 2},
+	{Name: "HCI_PRIMARY"},
+	{Name: "HCI_RAW_DEVICE", Value: 128},
+	{Name: "HCI_SCODATA_PKT", Value: 3},
 	{Name: "HCI_TIME_STAMP", Value: 3},
+	{Name: "HCI_VENDOR_PKT", Value: 255},
 	{Name: "HDIO_GETGEO", Value: 769},
 	{Name: "HIDPCONNADD", Value: 2147764424},
 	{Name: "HIDPCONNDEL", Value: 2147764425},
@@ -42825,4 +42860,4 @@ var consts_ppc64le = []ConstValue{
 	{Name: "bpf_insn_load_imm_dw", Value: 24},
 }
 
-const revision_ppc64le = "b8d7803b20f9cb0c1f15dbd5579f4b628a51d66f"
+const revision_ppc64le = "37b92f77cd83ab7b6f909cad97d3420fd1b3201a"
diff --git a/sys/linux/socket_bluetooth.txt b/sys/linux/socket_bluetooth.txt
index e88d5bdf9..6b75fd4cf 100644
--- a/sys/linux/socket_bluetooth.txt
+++ b/sys/linux/socket_bluetooth.txt
@@ -13,6 +13,7 @@ include <net/bluetooth/cmtp/cmtp.h>
 include <net/bluetooth/bnep/bnep.h>
 include <net/bluetooth/hidp/hidp.h>
 include <net/bluetooth/sco.h>
+include <net/bluetooth/hci.h>
 include <net/bluetooth/rfcomm.h>
 include <asm/ioctls.h>
 
@@ -28,6 +29,33 @@ setsockopt$bt_hci_HCI_TIME_STAMP(fd sock_bt_hci, level const[0], opt const[HCI_T
 setsockopt$bt_hci_HCI_FILTER(fd sock_bt_hci, level const[0], opt const[HCI_FILTER], arg ptr[in, hci_ufilter], arglen len[arg])
 getsockopt$bt_hci(fd sock, level const[0], opt flags[bt_hci_sockopt], arg buffer[out], arglen ptr[inout, len[arg, int32]])
 
+resource fd_vhci[fd]
+openat$vhci(fd const[AT_FDCWD], file ptr[in, string["/dev/vhci"]], flags flags[open_flags]) fd_vhci
+write$vhci(fd fd_vhci, data ptr[in, vhci_command], size bytesize[data])
+
+vhci_command [
+	HCI_EVENT_PKT	vhci_command_generic[HCI_EVENT_PKT]
+	HCI_ACLDATA_PKT	vhci_command_generic[HCI_ACLDATA_PKT]
+	HCI_SCODATA_PKT	vhci_command_generic[HCI_SCODATA_PKT]
+	HCI_VENDOR_PKT	vhci_command_vendor_pkt
+] [varlen]
+
+type vhci_command_generic[CMD] {
+	cmd	const[CMD, int8]
+# TODO: what's the format of these packets? Is there anything interesting?
+	data	array[int8]
+}
+
+vhci_command_vendor_pkt {
+	cmd	const[HCI_VENDOR_PKT, int8]
+	opcode	flags[vhci_vendor_pkt_opcode, int8]
+}
+
+vhci_vendor_pkt_opcode = HCI_PRIMARY, HCI_AMP, HCI_EXTERNAL_CONFIG, HCI_RAW_DEVICE
+
+define HCI_EXTERNAL_CONFIG	0x40
+define HCI_RAW_DEVICE	0x80
+
 resource sock_bt_sco[sock_bt]
 
 syz_init_net_socket$bt_sco(fam const[AF_BLUETOOTH], type const[SOCK_SEQPACKET], proto const[BTPROTO_SCO]) sock_bt_sco
diff --git a/sys/linux/socket_bluetooth_386.const b/sys/linux/socket_bluetooth_386.const
index 487880eb6..6f423cbb6 100644
--- a/sys/linux/socket_bluetooth_386.const
+++ b/sys/linux/socket_bluetooth_386.const
@@ -1,5 +1,6 @@
 # AUTOGENERATED FILE
 AF_BLUETOOTH = 31
+AT_FDCWD = 18446744073709551516
 BNEPCONNADD = 1074021064
 BNEPCONNDEL = 1074021065
 BNEPGETCONNINFO = 2147762899
@@ -47,13 +48,21 @@ HCISETRAW = 1074022620
 HCISETSCAN = 1074022621
 HCISETSCOMTU = 1074022628
 HCIUNBLOCKADDR = 1074022631
+HCI_ACLDATA_PKT = 2
+HCI_AMP = 1
 HCI_CHANNEL_CONTROL = 3
 HCI_CHANNEL_MONITOR = 2
 HCI_CHANNEL_RAW = 0
 HCI_CHANNEL_USER = 1
 HCI_DATA_DIR = 1
+HCI_EVENT_PKT = 4
+HCI_EXTERNAL_CONFIG = 64
 HCI_FILTER = 2
+HCI_PRIMARY = 0
+HCI_RAW_DEVICE = 128
+HCI_SCODATA_PKT = 3
 HCI_TIME_STAMP = 3
+HCI_VENDOR_PKT = 255
 HIDPCONNADD = 1074022600
 HIDPCONNDEL = 1074022601
 HIDPGETCONNINFO = 2147764435
@@ -87,5 +96,7 @@ __NR_bind = 361
 __NR_connect = 362
 __NR_getsockopt = 365
 __NR_ioctl = 54
+__NR_openat = 295
 __NR_setsockopt = 366
 __NR_socket = 359
+__NR_write = 4
diff --git a/sys/linux/socket_bluetooth_amd64.const b/sys/linux/socket_bluetooth_amd64.const
index 81fe4d666..e46dd120f 100644
--- a/sys/linux/socket_bluetooth_amd64.const
+++ b/sys/linux/socket_bluetooth_amd64.const
@@ -1,5 +1,6 @@
 # AUTOGENERATED FILE
 AF_BLUETOOTH = 31
+AT_FDCWD = 18446744073709551516
 BNEPCONNADD = 1074021064
 BNEPCONNDEL = 1074021065
 BNEPGETCONNINFO = 2147762899
@@ -47,13 +48,21 @@ HCISETRAW = 1074022620
 HCISETSCAN = 1074022621
 HCISETSCOMTU = 1074022628
 HCIUNBLOCKADDR = 1074022631
+HCI_ACLDATA_PKT = 2
+HCI_AMP = 1
 HCI_CHANNEL_CONTROL = 3
 HCI_CHANNEL_MONITOR = 2
 HCI_CHANNEL_RAW = 0
 HCI_CHANNEL_USER = 1
 HCI_DATA_DIR = 1
+HCI_EVENT_PKT = 4
+HCI_EXTERNAL_CONFIG = 64
 HCI_FILTER = 2
+HCI_PRIMARY = 0
+HCI_RAW_DEVICE = 128
+HCI_SCODATA_PKT = 3
 HCI_TIME_STAMP = 3
+HCI_VENDOR_PKT = 255
 HIDPCONNADD = 1074022600
 HIDPCONNDEL = 1074022601
 HIDPGETCONNINFO = 2147764435
@@ -87,5 +96,7 @@ __NR_bind = 49
 __NR_connect = 42
 __NR_getsockopt = 55
 __NR_ioctl = 16
+__NR_openat = 257
 __NR_setsockopt = 54
 __NR_socket = 41
+__NR_write = 1
diff --git a/sys/linux/socket_bluetooth_arm.const b/sys/linux/socket_bluetooth_arm.const
index bbd3c0240..e5da40c33 100644
--- a/sys/linux/socket_bluetooth_arm.const
+++ b/sys/linux/socket_bluetooth_arm.const
@@ -1,5 +1,6 @@
 # AUTOGENERATED FILE
 AF_BLUETOOTH = 31
+AT_FDCWD = 18446744073709551516
 BNEPCONNADD = 1074021064
 BNEPCONNDEL = 1074021065
 BNEPGETCONNINFO = 2147762899
@@ -47,13 +48,21 @@ HCISETRAW = 1074022620
 HCISETSCAN = 1074022621
 HCISETSCOMTU = 1074022628
 HCIUNBLOCKADDR = 1074022631
+HCI_ACLDATA_PKT = 2
+HCI_AMP = 1
 HCI_CHANNEL_CONTROL = 3
 HCI_CHANNEL_MONITOR = 2
 HCI_CHANNEL_RAW = 0
 HCI_CHANNEL_USER = 1
 HCI_DATA_DIR = 1
+HCI_EVENT_PKT = 4
+HCI_EXTERNAL_CONFIG = 64
 HCI_FILTER = 2
+HCI_PRIMARY = 0
+HCI_RAW_DEVICE = 128
+HCI_SCODATA_PKT = 3
 HCI_TIME_STAMP = 3
+HCI_VENDOR_PKT = 255
 HIDPCONNADD = 1074022600
 HIDPCONNDEL = 1074022601
 HIDPGETCONNINFO = 2147764435
@@ -87,5 +96,7 @@ __NR_bind = 282
 __NR_connect = 283
 __NR_getsockopt = 295
 __NR_ioctl = 54
+__NR_openat = 322
 __NR_setsockopt = 294
 __NR_socket = 281
+__NR_write = 4
diff --git a/sys/linux/socket_bluetooth_arm64.const b/sys/linux/socket_bluetooth_arm64.const
index 6f6d9f661..f9fb4cced 100644
--- a/sys/linux/socket_bluetooth_arm64.const
+++ b/sys/linux/socket_bluetooth_arm64.const
@@ -1,5 +1,6 @@
 # AUTOGENERATED FILE
 AF_BLUETOOTH = 31
+AT_FDCWD = 18446744073709551516
 BNEPCONNADD = 1074021064
 BNEPCONNDEL = 1074021065
 BNEPGETCONNINFO = 2147762899
@@ -47,13 +48,21 @@ HCISETRAW = 1074022620
 HCISETSCAN = 1074022621
 HCISETSCOMTU = 1074022628
 HCIUNBLOCKADDR = 1074022631
+HCI_ACLDATA_PKT = 2
+HCI_AMP = 1
 HCI_CHANNEL_CONTROL = 3
 HCI_CHANNEL_MONITOR = 2
 HCI_CHANNEL_RAW = 0
 HCI_CHANNEL_USER = 1
 HCI_DATA_DIR = 1
+HCI_EVENT_PKT = 4
+HCI_EXTERNAL_CONFIG = 64
 HCI_FILTER = 2
+HCI_PRIMARY = 0
+HCI_RAW_DEVICE = 128
+HCI_SCODATA_PKT = 3
 HCI_TIME_STAMP = 3
+HCI_VENDOR_PKT = 255
 HIDPCONNADD = 1074022600
 HIDPCONNDEL = 1074022601
 HIDPGETCONNINFO = 2147764435
@@ -87,5 +96,7 @@ __NR_bind = 200
 __NR_connect = 203
 __NR_getsockopt = 209
 __NR_ioctl = 29
+__NR_openat = 56
 __NR_setsockopt = 208
 __NR_socket = 198
+__NR_write = 64
diff --git a/sys/linux/socket_bluetooth_ppc64le.const b/sys/linux/socket_bluetooth_ppc64le.const
index 79b403465..2117cf4e7 100644
--- a/sys/linux/socket_bluetooth_ppc64le.const
+++ b/sys/linux/socket_bluetooth_ppc64le.const
@@ -1,5 +1,6 @@
 # AUTOGENERATED FILE
 AF_BLUETOOTH = 31
+AT_FDCWD = 18446744073709551516
 BNEPCONNADD = 2147762888
 BNEPCONNDEL = 2147762889
 BNEPGETCONNINFO = 1074021075
@@ -47,13 +48,21 @@ HCISETRAW = 2147764444
 HCISETSCAN = 2147764445
 HCISETSCOMTU = 2147764452
 HCIUNBLOCKADDR = 2147764455
+HCI_ACLDATA_PKT = 2
+HCI_AMP = 1
 HCI_CHANNEL_CONTROL = 3
 HCI_CHANNEL_MONITOR = 2
 HCI_CHANNEL_RAW = 0
 HCI_CHANNEL_USER = 1
 HCI_DATA_DIR = 1
+HCI_EVENT_PKT = 4
+HCI_EXTERNAL_CONFIG = 64
 HCI_FILTER = 2
+HCI_PRIMARY = 0
+HCI_RAW_DEVICE = 128
+HCI_SCODATA_PKT = 3
 HCI_TIME_STAMP = 3
+HCI_VENDOR_PKT = 255
 HIDPCONNADD = 2147764424
 HIDPCONNDEL = 2147764425
 HIDPGETCONNINFO = 1074022611
@@ -87,5 +96,7 @@ __NR_bind = 327
 __NR_connect = 328
 __NR_getsockopt = 340
 __NR_ioctl = 54
+__NR_openat = 286
 __NR_setsockopt = 339
 __NR_socket = 326
+__NR_write = 4
diff --git a/sys/linux/sys.txt b/sys/linux/sys.txt
index 48f312458..ea3827f83 100644
--- a/sys/linux/sys.txt
+++ b/sys/linux/sys.txt
@@ -473,7 +473,6 @@ openat$zero(fd const[AT_FDCWD], file ptr[in, string["/dev/zero"]], flags flags[o
 openat$full(fd const[AT_FDCWD], file ptr[in, string["/dev/full"]], flags flags[open_flags], mode const[0]) fd
 openat$snapshot(fd const[AT_FDCWD], file ptr[in, string["/dev/snapshot"]], flags flags[open_flags], mode const[0]) fd
 openat$vga_arbiter(fd const[AT_FDCWD], file ptr[in, string["/dev/vga_arbiter"]], flags flags[open_flags], mode const[0]) fd
-openat$vhci(fd const[AT_FDCWD], file ptr[in, string["/dev/vhci"]], flags flags[open_flags], mode const[0]) fd
 openat$rtc(fd const[AT_FDCWD], file ptr[in, string["/dev/rtc0"]], flags flags[open_flags], mode const[0]) fd
 openat$rfkill(fd const[AT_FDCWD], file ptr[in, string["/dev/rfkill"]], flags flags[open_flags], mode const[0]) fd
 openat$qat_adf_ctl(fd const[AT_FDCWD], file ptr[in, string["/dev/qat_adf_ctl"]], flags flags[open_flags], mode const[0]) fd