net/virtio: fix incorrect cast of void *
[dpdk.git] / arm / armv8_machine.py