Type Definition xed_sys::xed_reg_enum_t

type xed_reg_enum_t = i32;