Searched refs:seL4_FastMessageRegisters (Results 1 - 15 of 15) sorted by relevance

/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h139 #define seL4_FastMessageRegisters 1 macro
141 #define seL4_FastMessageRegisters 2 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h139 #define seL4_FastMessageRegisters 1 macro
141 #define seL4_FastMessageRegisters 2 macro
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h84 in the bottom of the msgInfo word, is <= seL4_FastMessageRegisters and that msgExtraCaps
85 which appears above it is zero. We are assuming that n_msgRegisters == seL4_FastMessageRegisters
87 compile_assert(n_msgRegisters_eq, n_msgRegisters == seL4_FastMessageRegisters)
90 return (msgInfo & MASK(seL4_MsgLengthBits + seL4_MsgExtraCapBits)) > seL4_FastMessageRegisters;
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/machine/
H A Dregisterset.h66 n_msgRegisters = seL4_FastMessageRegisters,
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Dregisterset.h78 n_msgRegisters = seL4_FastMessageRegisters,
/seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h150 #define seL4_FastMessageRegisters 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h150 #define seL4_FastMessageRegisters 4 macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h257 #define seL4_FastMessageRegisters 4 macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h257 #define seL4_FastMessageRegisters 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h257 #define seL4_FastMessageRegisters 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h257 #define seL4_FastMessageRegisters 4 macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h257 #define seL4_FastMessageRegisters 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h257 #define seL4_FastMessageRegisters 4 macro
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h160 n_msgRegisters = seL4_FastMessageRegisters,
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h129 n_msgRegisters = seL4_FastMessageRegisters,

Completed in 97 milliseconds