genode/repos/dde_bsd/src/lib/audio/include/spec/x86_64/platform
Christian Prochaska 3fa994a7a4 dde_bsd: update 'platform_execute()' functions based on libc
This ensures proper stack alignment for FPU instructions on x86_64.

Fixes #3357
2019-05-27 14:46:53 +02:00
..
platform.h dde_bsd: update 'platform_execute()' functions based on libc 2019-05-27 14:46:53 +02:00