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

/seL4-test-master/kernel/libsel4/include/sel4/
H A Dtypes.h43 #define seL4_NilData 0 macro

Completed in 93 milliseconds