http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51863
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |INVALID --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-15 08:27:04 UTC --- I think you should use: asm("invlpg %0" :: "r"(pointer_to_page) : "memory"); Instead. What GCC is doing is correct in that it outputs the byte/word/dword correctly for -masm=intel.