Searched refs:serial_paddr (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c32 void *serial_paddr; variable
126 if ((uintptr_t) serial_paddr == paddr) {
146 if ((void *) serial_paddr == paddr) {
171 serial_paddr = (void *) DEFAULT_SERIAL_PADDR;
/seL4-refos-master/apps/process_server/src/
H A Dstate.c32 void *serial_paddr; variable
126 if ((uintptr_t) serial_paddr == paddr) {
146 if ((void *) serial_paddr == paddr) {
171 serial_paddr = (void *) DEFAULT_SERIAL_PADDR;

Completed in 79 milliseconds