Constant xed_sys::XED_IFORM_PUSHF

pub const XED_IFORM_PUSHF: xed_iform_enum_t = 1572;