Searched refs:URXH (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/drivers/serial/
H A Dexynos4210-uart.c21 #define URXH 0x0024 /* RX buffer */ macro
47 return (unsigned char) * UART_REG(URXH);
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/uart/
H A Dexynos-uart.c22 #define URXH 0x0024 /* RX buffer */ macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvuart.c29 #define URXH 0x024 /* RX buffer */ macro
226 mask[URXH / 4] = 0xffffffff;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dserial.c47 #define URXH 0x0024 /* RX buffer */ macro
245 return *REG_PTR(d->vaddr, URXH);

Completed in 35 milliseconds