Constant xed_sys::XED_EXTENSION_RDRAND

pub const XED_EXTENSION_RDRAND: xed_extension_enum_t = 42;