Searched refs:SEL4_PRI_word (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/ | ||
| A D | basic_types.h | 33 #define SEL4_PRI_word SEL4_PRIu_word macro |
| /seL4-master/libsel4/include/sel4/ | ||
| A D | simple_types.h | 126 #define SEL4_PRI_word SEL4_PRIu_word macro |
Completed in 4 milliseconds