| /seL4-refos-master/libs/libmuslc/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-refos-master/kernel/include/api/ |
| H A D | debug.h | 81 char *state; local
[all...] |
| /seL4-refos-master/libs/libmuslc/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-refos-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-refos-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-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.h | 85 struct procserv_state *state; member in struct:procserv_msg
|
| /seL4-refos-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-refos-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-refos-master/apps/process_server/src/ |
| H A D | state.h | 85 struct procserv_state *state; member in struct:procserv_msg
|
| /seL4-refos-master/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-refos-master/libs/libvterm/src/ |
| H A D | pen.c | 92 static void setpenattr(VTermState *state, VTermAttr attr, VTermValueType type, VTermValue *val)
argument
105 static void setpenattr_bool(VTermState *state, VTermAttr attr, int boolean)
argument
111 static void setpenattr_int(VTermState *state, VTermAttr attr, int number)
argument
117 static void setpenattr_col(VTermState *state, VTermAtt argument
123 set_pen_col_ansi(VTermState *state, VTermAttr attr, long col) argument
132 vterm_state_resetpen(VTermState *state) argument
147 vterm_state_savepen(VTermState *state, int save) argument
167 vterm_state_set_default_colors(VTermState *state, VTermColor *default_fg, VTermColor *default_bg) argument
173 vterm_state_set_bold_highbright(VTermState *state, int bold_is_highbright) argument
178 vterm_state_setpen(VTermState *state, const long args[], int argcount) argument
333 vterm_state_get_penattr(VTermState *state, VTermAttr attr, VTermValue *val) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
| H A D | random.c | 181 static long *state = &randtbl[ 1 ]; variable
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
| H A D | pen.c | 92 static void setpenattr(VTermState *state, VTermAttr attr, VTermValueType type, VTermValue *val)
argument
105 static void setpenattr_bool(VTermState *state, VTermAttr attr, int boolean)
argument
111 static void setpenattr_int(VTermState *state, VTermAttr attr, int number)
argument
117 static void setpenattr_col(VTermState *state, VTermAtt argument
123 set_pen_col_ansi(VTermState *state, VTermAttr attr, long col) argument
132 vterm_state_resetpen(VTermState *state) argument
147 vterm_state_savepen(VTermState *state, int save) argument
167 vterm_state_set_default_colors(VTermState *state, VTermColor *default_fg, VTermColor *default_bg) argument
173 vterm_state_set_bold_highbright(VTermState *state, int bold_is_highbright) argument
178 vterm_state_setpen(VTermState *state, const long args[], int argcount) argument
333 vterm_state_get_penattr(VTermState *state, VTermAttr attr, VTermValue *val) argument
[all...] |
| /seL4-refos-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-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
| H A D | random.c | 181 static long *state = &randtbl[ 1 ]; variable
[all...] |
| /seL4-refos-master/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-refos-master/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...] |
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | fec_mxc.h | 46 int state; member in struct:eth_device
|
| /seL4-refos-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-refos-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...] |
| /seL4-refos-master/kernel/include/fastpath/ |
| H A D | fastpath.h | 82 endpoint_ptr_mset_epQueue_tail_state(endpoint_t *ep_ptr, word_t epQueue_tail, word_t state) argument
|