1 #ifndef _XENO_NUCLEUS_SYS_PPD_H
2 #define _XENO_NUCLEUS_SYS_PPD_H
4 #include <nucleus/ppd.h>
5 #include <nucleus/heap.h>
10 #ifdef XNARCH_HAVE_MAYDAY
11 unsigned long mayday_addr;
13 xnarch_atomic_t refcnt;
14 #define ppd2sys(addr) container_of(addr, struct xnsys_ppd, ppd)
17 extern struct xnsys_ppd __xnsys_global_ppd;
19 #ifdef CONFIG_XENO_OPT_PERVASIVE
21 static inline struct xnsys_ppd *xnsys_ppd_get(
int global)
26 return &__xnsys_global_ppd;
33 static inline struct xnsys_ppd *xnsys_ppd_get(
int global)
35 return &__xnsys_global_ppd;