Searched refs:cap_transfer_t (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/kernel/include/api/
H A Dtypes.h36 typedef struct cap_transfer cap_transfer_t; typedef in typeref:struct:cap_transfer
55 static inline cap_transfer_t PURE capTransferFromWords(word_t *wptr)
57 cap_transfer_t transfer;
/seL4-refos-master/kernel/include/object/
H A Dcnode.h44 cap_transfer_t PURE loadCapTransfer(word_t *buffer);
/seL4-refos-master/kernel/src/object/
H A Dcnode.c891 cap_transfer_t ct;
924 cap_transfer_t PURE loadCapTransfer(word_t *buffer)

Completed in 107 milliseconds