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

/seL4-test-master/kernel/include/
H A Dbootinfo.h16 #define S_REG_EMPTY (seL4_SlotRegion){ .start = 0, .end = 0 } macro
/seL4-test-master/kernel/include/arch/arm/arch/object/
H A Diospace.h31 return S_REG_EMPTY;
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c429 ndks_boot.bi_frame->ioSpaceCaps = S_REG_EMPTY;
539 ndks_boot.bi_frame->sharedFrames = S_REG_EMPTY;
/seL4-test-master/kernel/src/arch/arm/object/
H A Diospace.c102 return S_REG_EMPTY;
112 return S_REG_EMPTY;
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c393 ndks_boot.bi_frame->sharedFrames = S_REG_EMPTY;
/seL4-test-master/kernel/src/kernel/
H A Dboot.c367 S_REG_EMPTY, false

Completed in 46 milliseconds