| version 1.20, 2004/03/25 08:51:24 | version 1.21, 2004/05/23 15:01:45 | 
| Line 281  ia32_bioscall(void) | Line 281  ia32_bioscall(void) | 
 | adrs = (CPU_EIP - 1) + CPU_STAT_CS_BASE; | adrs = (CPU_EIP - 1) + CPU_STAT_CS_BASE; | 
 | #endif | #endif | 
 | if ((adrs >= 0xf8000) && (adrs < 0x100000)) { | if ((adrs >= 0xf8000) && (adrs < 0x100000)) { | 
| biosfunc(adrs); | if (biosfunc(adrs)) { | 
|  | CPU_PREFETCH_CLEAR(); | 
|  | } | 
 | if (!CPU_STAT_PM || CPU_STAT_VM86) { | if (!CPU_STAT_PM || CPU_STAT_VM86) { | 
 | CPU_SET_SEGREG(CPU_ES_INDEX, CPU_ES); | CPU_SET_SEGREG(CPU_ES_INDEX, CPU_ES); | 
 | CPU_SET_SEGREG(CPU_CS_INDEX, CPU_CS); | CPU_SET_SEGREG(CPU_CS_INDEX, CPU_CS); |