- uint32_t ebx; /* 0: Saved %ebx. */
- uint32_t ebp; /* 4: Saved %ebp. */
- uint32_t esi; /* 8: Saved %esi. */
- uint32_t edi; /* 12: Saved %edi. */
+ uint32_t edi; /* 0: Saved %edi. */
+ uint32_t esi; /* 4: Saved %esi. */
+ uint32_t ebp; /* 8: Saved %ebp. */
+ uint32_t ebx; /* 12: Saved %ebx. */