/usr/include/xenomai/asm-x86/switch.h is in libxenomai-dev 2.6.4+dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | #ifdef __i386__
#include "switch_32.h"
#else
#include "switch_64.h"
#endif
|