* Henrique de Moraes Holschuh <hmh@debian.org>, 2014-11-21, 17:34:
i386: __asm__("pushf\norl $0x40000,(%esp)\npopf");
-- Jakub Wilk