/usr/include/xenomai/posix/stdio.h is in libxenomai-dev 2.6.3-2.
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 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 | #ifndef __KERNEL__
#pragma GCC system_header
#include_next <stdio.h>
#ifndef _XENO_POSIX_STDIO_H
#define _XENO_POSIX_STDIO_H
#include <stddef.h>
#include <stdarg.h>
#include <xeno_config.h>
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
int __real_vfprintf(FILE *stream, const char *fmt, va_list args);
#ifdef CONFIG_XENO_FORTIFY
int __real___vfprintf_chk(FILE *stream, int level, const char *fmt, va_list ap);
#endif
int __real_vprintf(const char *fmt, va_list args);
int __real_fprintf(FILE *stream, const char *fmt, ...);
int __real_printf(const char *fmt, ...);
int __real_puts(const char *s);
int __real_fputs(const char *s, FILE *stream);
int __real_fputc(int c, FILE *stream);
int __real_putchar(int c);
size_t __real_fwrite(const void *ptr, size_t sz, size_t nmemb, FILE *stream);
#ifdef __cplusplus
}
#endif /* __cplusplus */
#endif /* _XENO_POSIX_STDIO_H */
#endif /* !__KERNEL__ */
|