Searched defs:depth (Results 26 - 36 of 36) sorted by relevance
12
/seL4-refos-master/kernel/libsel4/arch_include/x86/sel4/arch/ |
H A D | bootinfo_types.h | 85 seL4_Uint8 depth; member in struct:seL4_VBEInfo30
|
/seL4-refos-master/libs/libsel4/arch_include/x86/sel4/arch/ |
H A D | bootinfo_types.h | 85 seL4_Uint8 depth; member in struct:seL4_VBEInfo30
|
/seL4-refos-master/projects/seL4_libs/libsel4simple/include/simple/ |
H A D | simple.h | 333 simple_get_IOPort_cap(simple_t *simple, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
|
/seL4-refos-master/libs/libsel4simple/include/simple/ |
H A D | simple.h | 333 simple_get_IOPort_cap(simple_t *simple, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dungeon.c | 1007 depth(lev) function [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dungeon.c | 1007 depth(lev) function [all...] |
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 1269 word_t depth; local
|
/seL4-refos-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 944 word_t depth; local
|
/seL4-refos-master/libs/libmuslc/src/regex/ |
H A D | regcomp.c | 949 int depth = 0; local
|
/seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2569 word_t index, depth; local
|
/seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 2297 word_t index, depth; local
|
Completed in 99 milliseconds
12