Type Definition xed_sys::xed_exception_enum_t

type xed_exception_enum_t = u32;