/usr/include/xenomai/nucleus/ppd.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 23 24 25 26 27 | #ifndef _XENO_NUCLEUS_PPD_H
#define _XENO_NUCLEUS_PPD_H
#include <nucleus/queue.h>
#include <nucleus/shadow.h>
struct mm_struct;
typedef struct xnshadow_ppd_key {
unsigned long muxid;
struct mm_struct *mm;
} xnshadow_ppd_key_t;
typedef struct xnshadow_ppd_t {
xnshadow_ppd_key_t key;
xnholder_t link;
#define link2ppd(ln) container_of(ln, xnshadow_ppd_t, link)
} xnshadow_ppd_t;
#define xnshadow_ppd_muxid(ppd) ((ppd)->key.muxid)
#define xnshadow_ppd_mm(ppd) ((ppd)->key.mm)
/* Call with nklock locked irqs off. */
xnshadow_ppd_t *xnshadow_ppd_get(unsigned muxid);
#endif /* _XENO_NUCLEUS_PPD_H */
|