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

/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/
H A Dserial.c62 void *uart_vaddr; local
65 uart_vaddr = page_vaddr + UART0_OFFSET;
68 uart_vaddr = page_vaddr + UART1_OFFSET;
71 uart_vaddr = page_vaddr + UART2_OFFSET;
74 uart_vaddr = page_vaddr + UART0_AO_OFFSET;
77 uart_vaddr = page_vaddr + UART2_AO_OFFSET;
83 dev->vaddr = uart_vaddr;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dserial.c62 void *uart_vaddr; local
65 uart_vaddr = page_vaddr + UART0_OFFSET;
68 uart_vaddr = page_vaddr + UART1_OFFSET;
71 uart_vaddr = page_vaddr + UART2_OFFSET;
74 uart_vaddr = page_vaddr + UART0_AO_OFFSET;
77 uart_vaddr = page_vaddr + UART2_AO_OFFSET;
83 dev->vaddr = uart_vaddr;
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/
H A Dserial.c658 volatile void *uart_vaddr = 0; local
668 uart_vaddr = uart_mmio_vaddr;
672 uart_vaddr = uart_mmio_vaddr + UARTB_OFFSET;
676 uart_vaddr = uart_mmio_vaddr + UARTC_OFFSET;
680 uart_vaddr = uart_mmio_vaddr + UARTD_OFFSET;
691 dev->vaddr = (void*)uart_vaddr;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dserial.c658 volatile void *uart_vaddr = 0; local
668 uart_vaddr = uart_mmio_vaddr;
672 uart_vaddr = uart_mmio_vaddr + UARTB_OFFSET;
676 uart_vaddr = uart_mmio_vaddr + UARTC_OFFSET;
680 uart_vaddr = uart_mmio_vaddr + UARTD_OFFSET;
691 dev->vaddr = (void*)uart_vaddr;

Completed in 74 milliseconds