/usr/include/xenomai/asm-x86/ipipe/setup.h is in libxenomai-dev 2.6.2.1-2ubuntu2.
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 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | #ifndef _XENO_ASM_X86_IPIPE_SETUP_H
#define _XENO_ASM_X86_IPIPE_SETUP_H
#include <asm/processor.h>
#ifdef cpu_has_xsave
/*
* We don't handle the extended processor state yet. Disable
* xsave/xrstor to keep a correct behavior.
*/
static inline void __ipipe_early_client_setup(void)
{
if (cpu_has_xsave) {
setup_clear_cpu_cap(X86_FEATURE_XSAVE);
setup_clear_cpu_cap(X86_FEATURE_XSAVEOPT);
printk(KERN_INFO "Xenomai: forcing noxsave");
}
}
#endif /* cpu_has_xsave */
#endif /* !_XENO_ASM_X86_IPIPE_SETUP_H */
|