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

/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dcmdline.c114 int const bda_ports_count = (*bda_equi >> 9) & 0x7; local
119 cmdline_opt->console_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8;
141 cmdline_opt->debug_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8;

Completed in 23 milliseconds