27 static int bios_start;
34 for (
int tab_addr =
addr, tab_end =
addr + 99, fnc_addr = tab_end; tab_addr < tab_end;) {
49 DEBUGPRINT(
"BIOS: installed from $%04X, entry point is $%04X" NL, bios_start, bios_start + 3);
56 if (addr < 0 || addr > 32)
61 conputs(
"<<BOOT BIOS vector>>");
65 conputs(
"<<WBOOT BIOS vector>>");