Constant xed_sys::XED_EXTENSION_PKU

pub const XED_EXTENSION_PKU: xed_extension_enum_t = 37;