Type Definition xed_sys::xed_cpuid_bit_enum_t

type xed_cpuid_bit_enum_t = u32;