linux_raw_sys::ioctl

Constant ACRN_IOCTL_SET_VCPU_REGS

source
pub const ACRN_IOCTL_SET_VCPU_REGS: u32 = 1093181974;