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

/seL4-master/src/arch/x86/kernel/
A D	cmdline.c	112 const unsigned short *bda_port = (unsigned short *)0x400; in cmdline_parse() local 119 cmdline_opt->console_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8; in cmdline_parse() 141 cmdline_opt->debug_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8; in cmdline_parse()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023