00001 #ifndef _XENO_NUCLEUS_PPD_H
00002 #define _XENO_NUCLEUS_PPD_H
00003
00004 #include <nucleus/queue.h>
00005
00006 struct mm_struct;
00007
00008 typedef struct xnshadow_ppd_key {
00009 unsigned long muxid;
00010 struct mm_struct *mm;
00011 } xnshadow_ppd_key_t;
00012
00013 typedef struct xnshadow_ppd_t {
00014 xnshadow_ppd_key_t key;
00015 xnholder_t link;
00016 #define link2ppd(ln) container_of(ln, xnshadow_ppd_t, link)
00017 } xnshadow_ppd_t;
00018
00019 #define xnshadow_ppd_muxid(ppd) ((ppd)->key.muxid)
00020
00021 #define xnshadow_ppd_mm(ppd) ((ppd)->key.mm)
00022
00023
00024 xnshadow_ppd_t *xnshadow_ppd_get(unsigned muxid);
00025
00026 #endif
