Home
last modified time | relevance | path

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

/seL4-master/include/
A Dbootinfo.h17 #define S_REG_EMPTY (seL4_SlotRegion){ .start = 0, .end = 0 } macro
/seL4-master/include/arch/arm/arch/object/
A Diospace.h29 return S_REG_EMPTY; in create_iospace_caps()
/seL4-master/src/arch/arm/kernel/
A Dboot.c464 ndks_boot.bi_frame->ioSpaceCaps = S_REG_EMPTY; in try_init_kernel()
582 ndks_boot.bi_frame->sharedFrames = S_REG_EMPTY; in try_init_kernel()
/seL4-master/src/arch/arm/object/
A Diospace.c102 return S_REG_EMPTY; in create_iospace_caps()
112 return S_REG_EMPTY; in create_iospace_caps()
/seL4-master/src/arch/riscv/kernel/
A Dboot.c424 ndks_boot.bi_frame->sharedFrames = S_REG_EMPTY; in try_init_kernel()
/seL4-master/src/kernel/
A Dboot.c381 S_REG_EMPTY, false in create_frames_of_region()

Completed in 9 milliseconds