diff options
| author | Alexander Potapenko <glider@google.com> | 2024-10-18 15:14:40 +0200 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2024-10-21 11:18:37 +0000 |
| commit | f1e4447ce91d33c3785db1a7c2bafc768eb3f790 (patch) | |
| tree | f16515afcd07d5636c6cd1acc5668827c54f047b /sys/linux/socket_vnet.txt | |
| parent | c66d80fe3bfd4c25b3a19011d02b18510db69c05 (diff) | |
executor: sys/linux: arm64: reserve address for ITS, add a seed for ITS creation
Reserve SYZOS address for the ITS redistributor at 0x08080000, add it to the
list of kvm_guest_addrs.
Also implement a syzlang test for the host part of ITS configuration as per
https://www.kernel.org/doc/html/v6.1/virt/kvm/devices/arm-vgic-its.html
Diffstat (limited to 'sys/linux/socket_vnet.txt')
| -rw-r--r-- | sys/linux/socket_vnet.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/socket_vnet.txt b/sys/linux/socket_vnet.txt index f2629fc9e..ed9b5e513 100644 --- a/sys/linux/socket_vnet.txt +++ b/sys/linux/socket_vnet.txt @@ -171,7 +171,7 @@ vhost_features = VHOST_LOG_ALL, VIRTIO_NOTIFY_ON_EMPTY, VIRTIO_RING_F_INDIRECT_D vhost_vring_index = VSOCK_VQ_RX, VSOCK_VQ_TX, VSOCK_VQ_EVENT, VSOCK_VQ_MAX vhost_iotlb_type = VHOST_IOTLB_MISS, VHOST_IOTLB_UPDATE, VHOST_IOTLB_INVALIDATE, VHOST_IOTLB_ACCESS_FAIL vhost_iotlb_perm = VHOST_ACCESS_RO, VHOST_ACCESS_WO, VHOST_ACCESS_RW -kvm_guest_addrs = 0, 1, 2, 4, 0x1000, 0x2000, 0x3000, 0x4000, 0x5000, 0x6000, 0xd000, 0xf000, 0x10000, 0x100000, 0x8000000, 0x80a0000, 0xdddd0000, 0xdddd1000, 0xeeee0000, 0xeeee8000, 0xeeef0000, 0xffff1000 +kvm_guest_addrs = 0, 1, 2, 4, 0x1000, 0x2000, 0x3000, 0x4000, 0x5000, 0x6000, 0xd000, 0xf000, 0x10000, 0x100000, 0x8000000, 0x8080000, 0x80a0000, 0xdddd0000, 0xdddd1000, 0xeeee0000, 0xeeee8000, 0xeeef0000, 0xffff1000 define VHOST_LOG_ALL 1 << VHOST_F_LOG_ALL define VIRTIO_NOTIFY_ON_EMPTY 1 << VIRTIO_F_NOTIFY_ON_EMPTY |