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

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dcmdline.c117 int const bda_ports_count = (*bda_equi >> 9) & 0x7; 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 90 milliseconds