pub const EVTCHNOP_bind_vcpu: u32 = 8;