Go to the documentation of this file.
21 #ifndef _XENO_NUCLEUS_PPD_H
22 #define _XENO_NUCLEUS_PPD_H
24 #include <nucleus/queue.h>
25 #include <nucleus/shadow.h>
29 typedef struct xnshadow_ppd_key {
34 typedef struct xnshadow_ppd_t {
35 xnshadow_ppd_key_t key;
37 #define link2ppd(ln) container_of(ln, xnshadow_ppd_t, link)
40 #define xnshadow_ppd_muxid(ppd) ((ppd)->key.muxid)
42 #define xnshadow_ppd_mm(ppd) ((ppd)->key.mm)