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

/seL4-camkes-master/kernel/src/drivers/serial/
H A Dexynos4210-uart.c20 #define UTXH 0x0020 /* TX buffer */ macro
39 *UART_REG(UTXH) = (c & 0xff);
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/uart/
H A Dexynos-uart.c21 #define UTXH 0x0020 /* TX buffer */ macro
46 *UART_REG(mmio, UTXH) = (c & 0xff);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvuart.c28 #define UTXH 0x020 /* TX buffer */ macro
131 if (offset == UTXH) {
225 mask[UTXH / 4] = 0xffffffff;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dserial.c46 #define UTXH 0x0020 /* TX buffer */ macro
150 *REG_PTR(d->vaddr, UTXH) = c;

Completed in 43 milliseconds