Home | History | Annotate | Download | only in bios

Lines Matching refs:r16

786       } r16;
803 } r16;
822 } r16;
3752 addr = read_word(0x0040, (regs.u.r16.dx << 1));
3753 timeout = read_byte(0x0040, 0x007C + regs.u.r16.dx);
3754 if ((regs.u.r16.dx < 4) && (addr > 0)) {
3830 BX_DEBUG_INT15("int15 AX=%04x\n",regs.u.r16.ax);
3853 regs.u.r16.bx = 3;
3889 write_word( 0x40, 0x9A, regs.u.r16.bx ); // Byte location, offset
3890 write_word( 0x40, 0x9C, regs.u.r16.dx ); // Low word, delay
3891 write_word( 0x40, 0x9E, regs.u.r16.cx ); // High word, delay.
3954 base15_00 = (ES << 4) + regs.u.r16.si;
3958 write_word(ES, regs.u.r16.si+0x08+0, 47); // limit 15:00 = 6 * 8bytes/descriptor
3959 write_word(ES, regs.u.r16.si+0x08+2, base15_00);// base 15:00
3960 write_byte(ES, regs.u.r16.si+0x08+4, base23_16);// base 23:16
3961 write_byte(ES, regs.u.r16.si+0x08+5, 0x93); // access
3962 write_word(ES, regs.u.r16.si+0x08+6, 0x0000); // base 31:24/reserved/limit 19:16
3965 write_word(ES, regs.u.r16.si+0x20+0, 0xffff);// limit 15:00 = normal 64K limit
3966 write_word(ES, regs.u.r16.si+0x20+2, 0x0000);// base 15:00
3967 write_byte(ES, regs.u.r16.si+0x20+4, 0x000f);// base 23:16
3968 write_byte(ES, regs.u.r16.si+0x20+5, 0x9b); // access
3969 write_word(ES, regs.u.r16.si+0x20+6, 0x0000);// base 31:24/reserved/limit 19:16
3975 write_word(ES, regs.u.r16.si+0x28+0, 0xffff); // limit 15:00 = normal 64K limit
3976 write_word(ES, regs.u.r16.si+0x28+2, base15_00);// base 15:00
3977 write_byte(ES, regs.u.r16.si+0x28+4, base23_16);// base 23:16
3978 write_byte(ES, regs.u.r16.si+0x28+5, 0x93); // access
3979 write_word(ES, regs.u.r16.si+0x28+6, 0x0000); // base 31:24/reserved/limit 19:16
3981 CX = regs.u.r16.cx;
4073 if(regs.u.r16.ax > 0xffc0)
4074 regs.u.r16.ax = 0xffc0;
4102 regs.u.r16.bx = BIOS_CONFIG_TABLE;
4119 (unsigned) regs.u.r16r16.bx);
4139 BX_DEBUG_INT15("int15 AX=%04x\n",regs.u.r16.ax);
4407 mouse_driver_offset = regs.u.r16.bx;
4436 (unsigned) regs.u.r16.ax, (unsigned) regs.u.r16.bx);
4480 BX_DEBUG_INT15("int15 AX=%04x\n",regs.u.r16.ax);
4487 CX = regs.u.r16.cx;
4488 DX = regs.u.r16.dx;
4559 switch(regs.u.r16.bx)
4562 set_e820_range(ES, regs.u.r16.di,
4567 set_e820_range(ES, regs.u.r16.di,
4572 set_e820_range(ES, regs.u.r16.di,
4578 set_e820_range(ES, regs.u.r16.di,
4583 set_e820_range(ES, regs.u.r16.di,
4590 set_e820_range(ES, regs.u.r16.di,
4597 set_e820_range(ES, regs.u.r16.di,
4606 set_e820_range(ES, regs.u.r16.di, 0x00000000L,
4632 // regs.u.r16.ax = 0;
4633 // regs.u.r16.bx = 0;
4640 if(regs.u.r16.cx > 0x3c00)
4642 regs.u.r16.cx = 0x3c00;
4650 regs.u.r16.ax = regs.u.r16.cx;
4651 regs.u.r16.bx = regs.u.r16.dx;
4661 (unsigned) regs.u.r16.ax, (unsigned) regs.u.r16.bx);
7943 addr = read_word(0x0040, (regs.u.r16.dx << 1) + 8);
7944 if ((regs.u.r8.ah < 3) && (regs.u.r16.dx < 3) && (addr > 0)) {
7945 timeout = read_byte(0x0040, 0x0078 + regs.u.r16.dx) << 8;
8164 BX_DEBUG_INT1A("int1a: AX=%04x BX=%04x CX=%04x DX=%04x DS=%04x\n", regs.u.r16.ax, regs.u.r16.bx, regs.u.r16.cx, regs.u.r16.dx, ds);
8175 regs.u.r16.cx = BiosData->ticks_high;
8176 regs.u.r16.dx = BiosData->ticks_low;
8190 BiosData->ticks_high = regs.u.r16.cx;
8191 BiosData->ticks_low = regs.u.r16.dx;
8296 regs.u.r16.ax = 0;
8342 BX_INFO("bad PCI vendor ID %04x\n", regs.u.r16.dx);
8345 BX_INFO("PCI device %04x:%04x not found at index %d\n", regs.u.r16.dx, regs.u.r16.cx, regs.u.r16.si);
8347 BX_INFO("no PCI device with class code 0x%02x%04x found at index %d\n", regs.u.r8.cl, regs.u.r16.dx, regs.u.r16.si);