/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | pthread_attr_setdetachstate.c | 3 int pthread_attr_setdetachstate(pthread_attr_t *a, int state) argument
|
H A D | pthread_attr_get.c | 3 int pthread_attr_getdetachstate(const pthread_attr_t *a, int *state) argument
|
H A D | pthread_cond_timedwait.c | 32 volatile int state, barrier; member in struct:waiter
|
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/polarssl/ |
H A D | md4.h | 48 unsigned long state[4]; /*!< intermediate digest state */ member in struct:__anon57
|
H A D | md5.h | 48 unsigned long state[4]; /*!< intermediate digest state */ member in struct:__anon58
|
H A D | sha1.h | 48 unsigned long state[5]; /*!< intermediate digest state */ member in struct:__anon59
|
/seL4-camkes-master/kernel/include/api/ |
H A D | debug.h | 81 char *state; local [all...] |
/seL4-camkes-master/projects/musllibc/src/prng/ |
H A D | random.c | 40 static void loadstate(uint32_t *state) { argument 71 char *initstate(unsigned seed, char *state, size_t size) { argument 95 char *setstate(char *state) { argument
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/ |
H A D | xenbus.c | 24 XenbusState state; local 165 XenbusState state; local [all...] |
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/ |
H A D | registerset.h | 58 uint8_t state[CONFIG_XSAVE_SIZE]; member in struct:user_fpu_state
|
/seL4-camkes-master/kernel/include/plat/pc99/plat/machine/ |
H A D | interrupt.h | 106 static void inline updateIRQState(irq_t irq, x86_irq_state_t state) argument 122 x86_irq_state_t state = x86KSIRQState[irq]; local
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | autoip.h | 66 u8_t state; member in struct:autoip
|
H A D | dhcp6.h | 64 u8_t state; member in struct:dhcp6
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | lapic.h | 46 enum vm_lapic_state state; member in struct:vm_lapic
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/ |
H A D | private.h | 30 static FASTFN void sel4bench_private_switch_user_pmc(unsigned long state) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/ |
H A D | private.h | 31 static FASTFN void sel4bench_private_switch_user_pmc(unsigned long state) argument
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | fs.h | 81 void *state; member in struct:fs_file
|
/seL4-camkes-master/projects/lwip/src/netif/ |
H A D | zepif.c | 173 struct zepif_state *state; local 226 struct zepif_state *state = (struct zepif_state *)mem_malloc(sizeof(struct zepif_state)); local [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | interrupt.c | 29 uint32_t state = vm_guest_state_get_control_ppc(vcpu->vcpu_arch.guest_state); local 58 uint32_t state = vm_guest_state_get_control_ppc(vcpu->vcpu_arch.guest_state); local
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/ |
H A D | hcd.c | 263 ehci_host_init(usb_host_t *hdev, uintptr_t regs, void (*board_pwren) (int port, int state)) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/ |
H A D | debug-vka.c | 78 static void track_slot(state_t *state, seL4_CPtr slot) argument 128 static void untrack_slot(state_t *state, seL4_CPt argument 174 track_obj(state_t *state, seL4_Word type, seL4_Word size_bits, seL4_Word cookie) argument 265 untrack_obj(state_t *state, seL4_Word type, seL4_Word size_bits, seL4_Word cookie) argument [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | fec_mxc.h | 46 int state; member in struct:eth_device
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | local_time_manager.c | 32 time_man_state_t *state = data; local 38 time_man_state_t *state = data; local 44 time_man_state_t *state = data; local 51 time_man_state_t *state = data; local 62 time_man_state_t *state = data; local 95 time_man_state_t *state = data; local 163 time_man_state_t *state = data; local 186 time_man_state_t *state = tm->data; local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_ps2.c | 146 keyboard_init(struct keyboard_state *state, const ps_io_ops_t* ops, void (*handle_event_callback)(keyboard_key_event_t ev, void *cookie)) argument 201 keyboard_set_led(struct keyboard_state *state, char scroll_lock, char num_lock, char caps_lock) argument 208 keyboard_set_scanmode(struct keyboard_state *state, uint8_t mode) argument 216 keyboard_reset(struct keyboard_state *state) argument 237 keyboard_poll_ps2_keyevent(struct keyboard_state *state) argument 248 keyboard_poll_ps2_keyevents(struct keyboard_state *state, void *cookie) argument [all...] |
H A D | keyboard_ps2.h | 65 int state; member in struct:keyboard_state [all...] |