BIOS_START
for (p = (u_int8_t *) BIOS_PADDRTOVADDR(BIOS_START);
p < (u_int8_t *) BIOS_PADDRTOVADDR(BIOS_START + BIOS_LEN); p +=
if ((start >= BIOS_START) && (start <= (BIOS_START + BIOS_SIZE))) {
sp = (char *)BIOS_PADDRTOVADDR(BIOS_START);
end = (u_char *)BIOS_PADDRTOVADDR(BIOS_START + BIOS_SIZE);