Searched refs:serial_debug_port (Results 1 - 14 of 14) sorted by relevance

/barrelfish-master/kernel/include/
H A Dserial.h68 extern unsigned serial_debug_port;
73 return serial_init(serial_debug_port, true);
79 serial_putchar(serial_debug_port, '\r');
81 serial_putchar(serial_debug_port, c);
86 return serial_getchar(serial_debug_port);
/barrelfish-master/kernel/arch/armv7/
H A Dplat_zynq7_consts.c25 unsigned int serial_debug_port = 1; variable
H A Dplat_omap44xx_consts.c25 unsigned int serial_debug_port = 2; variable
H A Dplat_vexpress_consts.c24 unsigned serial_debug_port = 0; variable
H A Dinit.c67 { "debugPort", ArgType_UInt, { .uinteger = &serial_debug_port }},
249 MSG("Failed to initialize debug port: %d", serial_debug_port);
/barrelfish-master/kernel/arch/armv8/
H A Dplat_apm88xxxx_consts.c48 unsigned int serial_debug_port = 0; variable
H A Dplat_arm_vm_consts.c44 unsigned int serial_debug_port = 0; variable
H A Dplat_cn88xx.c55 unsigned int serial_debug_port = 0; variable
H A Dplat_imx8x.c64 unsigned int serial_debug_port = 0; variable
H A Dplat_qemu.c59 unsigned int serial_debug_port = 0; variable
H A Dplat_rpi3.c42 unsigned int serial_debug_port = 0; variable
/barrelfish-master/kernel/arch/x86/
H A Dserial.c31 unsigned serial_debug_port = 0; variable
59 serial_debug_port = 1;
/barrelfish-master/kernel/arch/k1om/
H A Dserial.c35 unsigned serial_debug_port = 0; variable
/barrelfish-master/doc/016-serial-ports/
H A DSerial.tex192 unsigned serial_debug_port;

Completed in 55 milliseconds