Searched defs:ch (Results 1 - 25 of 38) sorted by relevance

12

/seL4-camkes-master/kernel/manual/parts/
H A Dintro.tex
H A Dipc.tex
H A Dnotifications.tex
H A Dobjects.tex[all...]
H A Dio.tex
H A Dcspace.tex
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/
H A Dbuffer.cpp113 int ch = fgetc(file); local
141 int ch = fgetc(file); local
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dserial.c31 int ch = EOF; local
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dserial.c33 int ch = EOF; local
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Dserial.c30 int ch = EOF; local
/seL4-camkes-master/tools/riscv-pk/machine/
H A Duart.c9 void uart_putchar(uint8_t ch) argument
28 int32_t ch = uart[UART_REG_RXFIFO]; local
H A Duart16550.c14 void uart16550_putchar(uint8_t ch) argument
H A Duart16750.c14 void uart16750_putchar(uint8_t ch) argument
H A Dhtif.c59 int ch = htif_console_buf; local
92 void htif_console_putchar(uint8_t ch) argument
H A Dmtrap.c25 static uintptr_t mcall_console_putchar(uint8_t ch) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dserial.c31 int ch = EOF; local
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dserial.c33 int ch = EOF; local
/seL4-camkes-master/projects/musllibc/src/thread/
H A Dsynccall.c25 struct chain ch; local
[all...]
/seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-riscv/
H A Dsbi.h39 static inline void sbi_console_putchar(int ch) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Daxi_uartlite.c119 int ch = axi_uartlite_getchar(d); local
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Dwbuf.c57 struct obj_ch *ch; local
H A Dpackobj.c30 struct obj_ch *ch = obj; local
55 struct obj_ch *ch = obj; local
[all...]
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A Dsbi.h70 static inline void sbi_console_putchar(int ch) argument
/seL4-camkes-master/projects/global-components/components/BenchUtiliz/src/
H A DbenchUtiliz.c42 char ch = serial_getchar_buf->buf[serial_getchar_buf->head]; local
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dpgalloc.c186 chunklevel(struct chunk *ch) argument
207 struct chunk *ch = addr; local
249 struct chunk *ch; local
278 struct chunk *ch; local
354 struct chunk *ch; local
[all...]

Completed in 90 milliseconds

12