Searched refs:Arch_decodeTransfer (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/
H A Dtcb.c27 Arch_decodeTransfer(word_t flags) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dtcb.c20 Arch_decodeTransfer(word_t flags) function
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dtcb.c18 word_t CONST Arch_decodeTransfer(word_t flags) function
/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h143 word_t CONST Arch_decodeTransfer(word_t flags);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c811 transferArch = Arch_decodeTransfer(flags >> 8);
865 transferArch = Arch_decodeTransfer(flags >> 8);
908 transferArch = Arch_decodeTransfer(flags >> 8);

Completed in 47 milliseconds