Searched defs:mi (Results 1 - 9 of 9) sorted by relevance

/seL4-refos-master/kernel/include/api/
H A Dtypes.h67 seL4_MessageInfo_t mi; local
75 seL4_MessageInfo_t mi; local
88 static inline word_t CONST wordFromMessageInfo(seL4_MessageInfo_t mi) argument
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dwintype.h23 typedef struct mi { struct
H A Dwinami.h54 menu_item *mi; /* Menu information */ member in struct:amii_WinDesc
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dwintype.h23 typedef struct mi { struct
H A Dwinami.h54 menu_item *mi; /* Menu information */ member in struct:amii_WinDesc
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dwintty.c2163 menu_item *mi; local
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dwintty.c2163 menu_item *mi; local
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dpickup.c766 menu_item *mi; local
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dpickup.c766 menu_item *mi; local

Completed in 162 milliseconds