Cross Reference: /vbox/src/VBox/Devices/PC/BIOS/floppy.c

Lines Matching defs:media_state
304     uint8_t     drive_type, config_data, media_state;
323     // ** media_state **
350         media_state = 0x15; // 0001 0101
356         media_state = 0x35; // 0011 0101   // need double stepping??? (bit 5)
362         media_state = 0x17; // 0001 0111
368         media_state = 0x17; // 0001 0111
374         media_state = 0xD7; // 1101 0111
381         media_state = 0xD7; // 1101 0111
387         media_state = 0x00; // 0000 0000
416     write_byte(0x0040, media_state_offset, media_state);
453     uint8_t     page, mode_register, val8, media_state;
1144         media_state = read_byte(0x0040, base_address);
1147         media_state &= 0x0f;
1152             media_state |= 0x90; // 1001 0000 (media type established, 250 kbps)
1156             media_state |= 0x70; // 0111 0000 (media type established, double stepping, 300 kbps)
1160             media_state |= 0x10; // 0001 0000 (media type established, 500 kbps)
1164             media_state |= 0x90; // 1001 0000 (media type established, 250 kbps)
1175         write_byte(0x0040, base_address, media_state);
1176         BX_DEBUG_INT13_FL("floppy f17 - media status set to: %02x\n", media_state);
1232         media_state = read_byte(0x0040, base_address);
1235         media_state &= 0x0f;
1240                 media_state |= 0x90; // 1001 0000 (media type established, 250 kbps)
1245                 media_state |= 0x70; // 0111 0000 (media type established, double stepping, 300 kbps)
1247                 media_state |= 0x10; // 0001 0000 (media type established, 500 kbps)
1252                 media_state |= 0x90; // 1001 0000 (media type established, 250 kbps)
1258                     media_state |= 0x90; // 1001 0000 (media type established, 250 kbps)
1260                     media_state |= 0x10; // 0001 0000 (media type established, 500 kbps)
1267                     media_state |= 0x90; // 1001 0000 (media type established, 250 kbps)
1269                     media_state |= 0x10; // 0001 0000 (media type established, 500 kbps)
1271                     media_state |= 0xD0; // 1101 0000 (media type established, 1 Mbps)
1280         if (((media_state >> 4) & 0x01) == 0) {
1290         write_byte(0x0040, base_address, media_state);