1 #ifndef _XENO_NUCLEUS_PPD_H
2 #define _XENO_NUCLEUS_PPD_H
4 #include <nucleus/queue.h>
5 #include <nucleus/shadow.h>
9 typedef struct xnshadow_ppd_key {
14 typedef struct xnshadow_ppd_t {
15 xnshadow_ppd_key_t key;
17 #define link2ppd(ln) container_of(ln, xnshadow_ppd_t, link)
20 #define xnshadow_ppd_muxid(ppd) ((ppd)->key.muxid)
22 #define xnshadow_ppd_mm(ppd) ((ppd)->key.mm)