Searched refs:seL4_CapData_Badge_new (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/libsel4/include/sel4/ | ||
H A D | deprecated.h | 119 static inline SEL4_DEPRECATED("Badges do not need to be constructed") seL4_Word seL4_CapData_Badge_new(seL4_Word badge) function |
Completed in 68 milliseconds