"andl $0xfffff000, %%esp;" /* Move stack pointer to bottom of page. */
"pushal;" /* Push 32 bytes on stack at once. */
"movl %%eax, %%esp" /* Restore copied stack pointer. */
- ::: "eax"); /* Tell GCC we destroyed eax. */
+ : : : "eax"); /* Tell GCC we destroyed eax. */
}