| /seL4-refos-master/libs/libmuslc/src/linux/ |
| H A D | iopl.c | 6 int iopl(int level) argument
|
| /seL4-refos-master/libs/libmuslc/src/network/ |
| H A D | getsockopt.c | 4 int getsockopt(int fd, int level, int optname, void *restrict optval, socklen_t *restrict optlen) argument
|
| H A D | setsockopt.c | 4 int setsockopt(int fd, int level, int optname, const void *optval, socklen_t optlen) argument
|
| /seL4-refos-master/kernel/include/arch/x86/arch/object/ |
| H A D | iospace.h | 32 int level; member in struct:lookupIOPTSlot_ret
|
| /seL4-refos-master/libs/libmuslc/include/ |
| H A D | ftw.h | 26 int level; member in struct:FTW
|
| /seL4-refos-master/libs/libmuslc/src/misc/ |
| H A D | nftw.c | 16 int level; member in struct:history
|
| /seL4-refos-master/libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 51 int level; local
26 simple_default_get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 51 int level; local
26 simple_default_get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
| /seL4-refos-master/libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 135 arch_simple_get_ioapic(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 135 arch_simple_get_ioapic(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
| /seL4-refos-master/kernel/src/arch/arm/armv/armv7-a/ |
| H A D | cache.c | 41 static inline word_t readCacheSize(int level, bool_t instruction) argument
|
| /seL4-refos-master/kernel/src/arch/arm/armv/armv8-a/32/ |
| H A D | cache.c | 41 static inline word_t readCacheSize(int level, bool_t instruction) argument
|
| /seL4-refos-master/kernel/src/arch/arm/armv/armv8-a/64/ |
| H A D | cache.c | 37 static inline word_t readCacheSize(int level, bool_t instruction) argument
|
| /seL4-refos-master/kernel/src/arch/x86/object/ |
| H A D | interrupt.c | 60 static exception_t invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, argument
137 word_t level = getSyscallArg(4, buffer); local
|
| H A D | iospace.c | 402 uint32_t level; local
[all...] |
| /seL4-refos-master/kernel/src/plat/pc99/machine/ |
| H A D | ioapic.c | 106 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
146 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
|
| /seL4-refos-master/kernel/src/arch/riscv/machine/ |
| H A D | capdl.c | 36 static void riscv_cap_pt_print_slots(pte_t *upperPtSlot, word_t ptIndex, int level) argument
194 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, int level) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/tetris/src/ |
| H A D | tetris.c | 77 int level = 1; variable
|
| /seL4-refos-master/apps/tetris/src/ |
| H A D | tetris.c | 77 int level = 1; variable
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 41 vspace_mid_level_t *level = create_level(vspace, sizeof(vspace_mid_level_t)); local
52 vspace_bottom_level_t *level = create_level(vspace, sizeof(vspace_bottom_level_t)); local
67 static int reserve_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_ argument
87 reserve_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, bool preserve_frames) argument
144 clear_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, bool only_reserved) argument
160 clear_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, bool only_reserved) argument
194 update_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
211 update_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
252 is_reserved_or_empty_bottom(vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
266 is_reserved_or_empty_mid(vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
379 vspace_mid_level_t *level = top; local
398 vspace_mid_level_t *level = top; local
[all...] |
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 41 vspace_mid_level_t *level = create_level(vspace, sizeof(vspace_mid_level_t)); local
52 vspace_bottom_level_t *level = create_level(vspace, sizeof(vspace_bottom_level_t)); local
67 static int reserve_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_ argument
87 reserve_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, bool preserve_frames) argument
144 clear_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, bool only_reserved) argument
160 clear_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, bool only_reserved) argument
194 update_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
211 update_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
252 is_reserved_or_empty_bottom(vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
266 is_reserved_or_empty_mid(vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
379 vspace_mid_level_t *level = top; local
398 vspace_mid_level_t *level = top; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
| H A D | gpio.c | 118 static int imx6_gpio_set_level(gpio_t *gpio, enum gpio_level level) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | gpio.c | 118 static int imx6_gpio_set_level(gpio_t *gpio, enum gpio_level level) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 48 long level; member in struct:__anon11::__anon12::__anon13
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 48 long level; member in struct:__anon1::__anon2::__anon3
|