/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | iopl.c | 6 int iopl(int level) argument
|
/seL4-camkes-master/projects/musllibc/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-camkes-master/kernel/include/arch/x86/arch/object/ |
H A D | iospace.h | 32 int level; member in struct:lookupIOPTSlot_ret
|
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/ |
H A D | x86_subr.c | 85 x86_cpuid(uint32_t level, uint32_t *eax_out, uint32_t *ebx_out, argument
|
/seL4-camkes-master/projects/musllibc/include/ |
H A D | ftw.h | 26 int level; member in struct:FTW
|
/seL4-camkes-master/projects/musllibc/src/misc/ |
H A D | nftw.c | 16 int level; member in struct:history
|
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/libGPIOMUXServer-client/ |
H A D | gpio.c | 42 static int gpiomuxserver_set_level_wrapper(gpio_t *gpio, enum gpio_level level) argument 56 gpiomuxserver_gpio_interface_init(int (*gpiomuxserver_init_pin)(gpio_id_t pin_id, gpio_dir_t dir), int (*gpiomuxserver_set_level)(gpio_id_t pin_id, gpio_level_t level), int (*gpiomuxserver_read_level)(gpio_id_t pin_id), gpio_sys_t *gpio_sys) argument
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | zbuffer.h | 83 static inline msgpack_zbuffer* msgpack_zbuffer_new(int level, size_t init_size) argument 65 msgpack_zbuffer_init(msgpack_zbuffer* zbuf, int level, size_t init_size) argument
|
/seL4-camkes-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-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | sys_socket.c | 166 int level = va_arg(ap, int); local
|
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/src/ |
H A D | gpio.c | 125 int the_gpio_set_level(gpio_id_t pin_id, gpio_level_t level) argument
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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
|
/seL4-camkes-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-camkes-master/projects/lwip/src/include/lwip/priv/ |
H A D | sockets_priv.h | 108 int level; member in struct:lwip_setgetsockopt_data
|
/seL4-camkes-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-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | misc.c | 50 void fat_msg(struct super_block *sb, const char *level, const char *fmt, ...) argument
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | pgalloc.c | 179 int level; member in struct:chunk
|
/seL4-camkes-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-camkes-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-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 48 long level; member in struct:__anon1::__anon2::__anon3
|