1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
# Copyright 2022 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 <zircon/syscalls.h>
include <zircon/syscalls/port.h>
resource zx_port[zx_handle]
port_create_options = ZX_PORT_BIND_TO_INTERRUPT, 0
zx_port_create(options flags[port_create_options], out ptr[out, zx_port])
zx_port_cancel(port zx_port, source zx_handle, key proc[1000, 16])
zx_port_queue(handle zx_port, packet ptr[in, zx_port_packet_user])
zx_port_wait(handle zx_port, deadline zx_time, packet ptr[out, zx_port_packet])
zx_packet_user [
u64 array[int64, 4]
u32 array[int32, 8]
u16 array[int16, 16]
c8 array[int8, 32]
]
zx_packet_signal {
trigger int32
observed int32
count int64
timestamp int64
reserved1 int64
}
zx_packet_interrupt {
timestamp int64
reserved0 int64
reserved1 int64
reserved2 int64
}
zx_packet_page_request {
command int16
flags int16
reserved0 int16
offset int64
length int64
reserved1 int64
}
zx_port_packet_payload [
user zx_packet_user
signal zx_packet_signal
interrupt zx_packet_interrupt
page_request zx_packet_page_request
]
zx_port_packet {
key int64
type int32
status int32
payload zx_port_packet_payload
}
zx_port_packet_user {
key proc[1000, 16, int64]
type const[ZX_PKT_TYPE_USER, int32]
status const[0, int32]
payload zx_packet_user
}
|
