Searched refs:S_REG_EMPTY (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/
H A Dbootinfo.h21 #define S_REG_EMPTY (seL4_SlotRegion){ .start = 0, .end = 0 } macro
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Diospace.h35 return S_REG_EMPTY;
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c444 ndks_boot.bi_frame->ioSpaceCaps = S_REG_EMPTY;
527 ndks_boot.bi_frame->sharedFrames = S_REG_EMPTY;
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Diospace.c111 return S_REG_EMPTY;
121 return S_REG_EMPTY;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c374 ndks_boot.bi_frame->sharedFrames = S_REG_EMPTY;
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c338 S_REG_EMPTY, false

Completed in 99 milliseconds