[][src]Constant xed_sys::XED_ISA_SET_AVX512PF_512

pub const XED_ISA_SET_AVX512PF_512: xed_isa_set_enum_t = 30;