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

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dcmdline.c115 const unsigned short * bda_port = (unsigned short *)0x400; local
122 cmdline_opt->console_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8;
144 cmdline_opt->debug_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8;

Completed in 45 milliseconds