Constant ACRN_IOCTL_SET_VCPU_REGS

pub const ACRN_IOCTL_SET_VCPU_REGS: u32 = 1093181974;