| /seL4-refos-master/libs/libmuslc/src/aio/ |
| H A D | lio_listio.c | 70 int lio_listio(int mode, struct aiocb *restrict const *restrict cbs, int cnt, struct sigevent *restrict sev) argument
|
| /seL4-refos-master/libs/librefos/include/refos-rpc/ |
| H A D | data_client_helper.h | 66 data_open_map(seL4_CPtr session, char* name, int flags, int mode, int size, int dspaceSize) argument
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
| H A D | data_client_helper.h | 66 data_open_map(seL4_CPtr session, char* name, int flags, int mode, int size, int dspaceSize) argument
|
| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | sem_open.c | 30 mode_t mode; local
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | |
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.h | 87 enum w_window_mode mode; member in struct:w_window
|
| H A D | window.c | 40 window_switch_mode(struct w_window* window, enum w_window_mode mode) argument
[all...] |
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | |
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.h | 87 enum w_window_mode mode; member in struct:w_window
|
| H A D | window.c | 40 window_switch_mode(struct w_window* window, enum w_window_mode mode) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_ps2.c | 208 keyboard_set_scanmode(struct keyboard_state *state, uint8_t mode) argument
|
| H A D | pit.c | 46 set_pit_mode(ps_io_port_ops_t *ops, uint8_t channel, uint8_t mode) argument
53 configure_pit(pit_t *pit, uint8_t mode, uint64_t ns) argument
126 uint32_t mode = periodic ? PITCR_MODE_PERIODIC : PITCR_MODE_ONESHOT; local
[all...] |
| /seL4-refos-master/projects/util_libs/libpci/include/pci/ |
| H A D | virtual_device.h | 45 int mode; /* PCI_VDEVICE_MODE_* */ member in struct:libpci_vdevice_mode
59 libpci_vdevice_mode_t mode[PCI_CONFIG_HEADER_SIZE_BYTES]; member in struct:libpci_vdevice
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_ps2.c | 208 keyboard_set_scanmode(struct keyboard_state *state, uint8_t mode) argument
|
| H A D | pit.c | 46 set_pit_mode(ps_io_port_ops_t *ops, uint8_t channel, uint8_t mode) argument
53 configure_pit(pit_t *pit, uint8_t mode, uint64_t ns) argument
126 uint32_t mode = periodic ? PITCR_MODE_PERIODIC : PITCR_MODE_ONESHOT; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | clock.h | 142 clk_gate_enable(clock_sys_t *clock_sys, enum clock_gate gate, enum clock_gate_mode mode) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | clock.h | 142 clk_gate_enable(clock_sys_t *clock_sys, enum clock_gate gate, enum clock_gate_mode mode) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hifive/platsupport/plat/ |
| H A D | pwm.h | 50 pwm_mode_t mode; member in struct:__anon7
72 pwm_mode_t mode; member in struct:pwm
|
| /seL4-refos-master/libs/libplatsupport/plat_include/hifive/platsupport/plat/ |
| H A D | pwm.h | 50 pwm_mode_t mode; member in struct:__anon1
72 pwm_mode_t mode; member in struct:pwm
|
| /seL4-refos-master/libs/librefossys/src/refos-io/ |
| H A D | filetable.c | 146 filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size) argument
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
| H A D | filetable.c | 146 filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size) argument
|
| /seL4-refos-master/libs/libmuslc/src/internal/ |
| H A D | stdio_impl.h | 39 signed char mode; member in struct:_IO_FILE
|
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | pmic.c | 266 enum ldo_mode mode; local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
| H A D | clock.c | 111 apq8064_gate_enable(clock_sys_t* sys, enum clock_gate gate, enum clock_gate_mode mode) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | pmic.c | 266 enum ldo_mode mode; local
|