Lines Matching defs:word_t
19 typedef unsigned long word_t;21 typedef word_t vptr_t;22 typedef word_t paddr_t;23 typedef word_t pptr_t;24 typedef word_t cptr_t;25 typedef word_t dev_id_t;26 typedef word_t cpu_id_t;28 typedef word_t node_id_t;29 typedef word_t dom_t;32 typedef word_t seL4_Word;