[−][src]Constant xed_sys::XED_EXTENSION_VIA_PADLOCK_RNG

pub const XED_EXTENSION_VIA_PADLOCK_RNG: xed_extension_enum_t = 63;