VM_GET_VGIC_VERSION
VM_GET_VGIC_VERSION, \
error = ioctl(ctx->fd, VM_GET_VGIC_VERSION, &vgic.ver);
case VM_GET_VGIC_VERSION: {
VMMDEV_IOCTL(VM_GET_VGIC_VERSION, 0),