| /seL4-master/src/plat/pc99/machine/ |
| A D | io.c | 38 unsigned char c) in uart_drv_putchar()
44 void kernel_putDebugChar(unsigned char c) in kernel_putDebugChar()
|
| /seL4-master/include/drivers/ |
| A D | uart.h | 14 unsigned char c) in uart_console_putchar()
|
| /seL4-master/include/machine/ |
| A D | io.h | 41 char c) in kernel_putchar()
52 char c) in putchar()
|
| /seL4-master/src/arch/arm/machine/ |
| A D | io.c | 12 void kernel_putDebugChar(unsigned char c) in kernel_putDebugChar()
|
| /seL4-master/src/arch/riscv/machine/ |
| A D | io.c | 13 void kernel_putDebugChar(unsigned char c) in kernel_putDebugChar()
|
| /seL4-master/include/32/mode/ |
| A D | util.h | 26 uint64_t c = ((uint64_t) 32u + clzl(denominator)) - clzll(numerator); in div64() local
|
| /seL4-master/src/machine/ |
| A D | capdl.c | 29 void add_to_seen(cap_t c) in add_to_seen()
44 bool_t seen(cap_t c) in seen()
181 lookupCapAndSlot_ret_t c = lookupCapAndSlot(tcb, i); in obj_tcb_print_cnodes() local
308 lookupCapAndSlot_ret_t c = lookupCapAndSlot(tcb, i); in obj_cnode_print_slots() local
317 lookupCapAndSlot_ret_t c = lookupCapAndSlot(tcb, i); in obj_cnode_print_slots() local
|
| A D | io.c | 92 static inline bool_t isdigit(char c) in isdigit()
183 #define DIGIT(c) (c - '0') argument
233 static void pad(out_wrap_t *f, char c, int w, int l, int fl) in pad()
|
| /seL4-master/src/drivers/serial/ |
| A D | imx-lpuart.c | 28 void uart_drv_putchar(unsigned char c) in uart_drv_putchar()
|
| A D | pl011.c | 22 void uart_drv_putchar(unsigned char c) in uart_drv_putchar()
|
| A D | tegra_omap3_dwapb.c | 22 void uart_drv_putchar(unsigned char c) in uart_drv_putchar()
|
| A D | meson-gx-uart.c | 23 void uart_drv_putchar(unsigned char c) in uart_drv_putchar()
|
| A D | msm-uartdm.c | 24 void uart_drv_putchar(unsigned char c) in uart_drv_putchar()
|
| A D | bcm2835-aux-uart.c | 40 void uart_drv_putchar(unsigned char c) in uart_drv_putchar()
|
| A D | exynos4210-uart.c | 36 void uart_drv_putchar(unsigned char c) in uart_drv_putchar()
|
| A D | xuartps.c | 36 void uart_drv_putchar(unsigned char c) in uart_drv_putchar()
|
| A D | imx.c | 38 void uart_drv_putchar(unsigned char c) in uart_drv_putchar()
|
| /seL4-master/src/ |
| A D | util.c | 43 void *VISIBLE memset(void *s, unsigned long c, unsigned long n) in memset()
90 long CONST char_to_long(char c) in char_to_long()
107 char c; in str_to_long() local
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | cmdline.c | 27 static int is_space(char c) in is_space()
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 808 LIBSEL4_INLINE_FUNC void seL4_DebugPutChar(char c) in seL4_DebugPutChar()
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 575 LIBSEL4_INLINE_FUNC void seL4_DebugPutChar(char c) in seL4_DebugPutChar()
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 579 LIBSEL4_INLINE_FUNC void seL4_DebugPutChar(char c) in seL4_DebugPutChar()
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 776 LIBSEL4_INLINE_FUNC void seL4_DebugPutChar(char c) in seL4_DebugPutChar()
|