VM_ATTACH_VGIC
VM_ATTACH_VGIC, \
return (ioctl(ctx->fd, VM_ATTACH_VGIC, &vgic));
case VM_ATTACH_VGIC: {
VMMDEV_IOCTL(VM_ATTACH_VGIC,