Home
last modified time | relevance | path

Searched defs:_seL4_word_fmt (Results 1 – 4 of 4) sorted by relevance

/seL4-master/libsel4/include/sel4/
A Dsimple_types.h114 #define _seL4_word_fmt /* empty */ macro
117 #define _seL4_word_fmt _seL4_int64_fmt macro
/seL4-master/include/arch/x86/arch/
A Dtypes.h16 #define _seL4_word_fmt l macro
/seL4-master/include/arch/riscv/arch/
A Dtypes.h18 #define _seL4_word_fmt l macro
/seL4-master/include/arch/arm/arch/
A Dtypes.h16 #define _seL4_word_fmt l macro

Completed in 7 milliseconds