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