Constant xed_sys::XED_IFORM_VMLAUNCH

pub const XED_IFORM_VMLAUNCH: xed_iform_enum_t = 3432;