mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
111d74744d
We do not ensure that the Fpu::Context is 16-byte aligned and, therefore, should not tell the compiler that we did. Otherwise, the GCC may optimize operations regarding the addresses of members as it did for if ((addr_t)_fxsave_area & 0xf) ... With the declared 16-byte alignment the condition will never become true.