Searched refs:seL4_EndpointBits (Results 1 - 22 of 22) sorted by relevance

/seL4-refos-master/libs/libsel4vka/include/vka/
H A Dkobject_t.h60 return seL4_EndpointBits;
62 return seL4_EndpointBits;
H A Dobject.h174 return vka_alloc_object(vka, seL4_EndpointObject, seL4_EndpointBits, result);
315 return seL4_EndpointBits;
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dkobject_t.h60 return seL4_EndpointBits;
62 return seL4_EndpointBits;
H A Dobject.h174 return vka_alloc_object(vka, seL4_EndpointObject, seL4_EndpointBits, result);
315 return seL4_EndpointBits;
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h25 #define seL4_EndpointBits 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h25 #define seL4_EndpointBits 4 macro
/seL4-refos-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dtypes.h25 #define seL4_EndpointBits 4 macro
/seL4-refos-master/libs/libsel4/arch_include/riscv/sel4/arch/
H A Dtypes.h25 #define seL4_EndpointBits 4 macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h25 #define seL4_EndpointBits 4 macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h25 #define seL4_EndpointBits 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h25 #define seL4_EndpointBits 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h25 #define seL4_EndpointBits 4 macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h30 #define seL4_EndpointBits 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h30 #define seL4_EndpointBits 4 macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h188 #define seL4_EndpointBits 4 macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h188 #define seL4_EndpointBits 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h188 #define seL4_EndpointBits 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h188 #define seL4_EndpointBits 4 macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h179 #define seL4_EndpointBits 4 macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h179 #define seL4_EndpointBits 4 macro
/seL4-refos-master/kernel/include/object/
H A Dstructures.h406 compile_assert(ep_size_sane, sizeof(endpoint_t) <= BIT(seL4_EndpointBits))
438 return seL4_EndpointBits;
/seL4-refos-master/kernel/src/object/
H A Dobjecttype.c42 return seL4_EndpointBits;

Completed in 59 milliseconds