1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Copyright 2019 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.
# Hafnium is a hypervisor.
# See https://hafnium.googlesource.com/hafnium and docs/hafnium/README.md
include <uapi/linux/socket.h>
include <linux/socket.h>
include <linux/net.h>
define AF_HF AF_ECONET
resource sock_hf[sock]
socket$hf(domain const[AF_HF], type const[SOCK_DGRAM], proto const[0]) sock_hf
connect$hf(fd sock_hf, addr ptr[in, sockaddr_hf], addrlen len[addr])
sendmsg$hf(fd sock_hf, msg ptr[in, send_msghdr], f flags[send_flags])
recvmsg$hf(fd sock_hf, msg ptr[inout, recv_msghdr], f flags[recv_flags])
sockaddr_hf {
family const[AF_HF, int16]
vm_id proc[1, 2, int32]
port int64
}
|
