void pc_cmos_init(ram_addr_t ram_size, ram_addr_t above_4g_mem_size,

                  const char *boot_device,

                  ISADevice *floppy, BusState *idebus0, BusState *idebus1,

                  ISADevice *s)

{

    int val, nb, i;

    FDriveType fd_type[2] = { FDRIVE_DRV_NONE, FDRIVE_DRV_NONE };

    static pc_cmos_init_late_arg arg;



    /* various important CMOS locations needed by PC/Bochs bios */



    /* memory size */

    val = 640; /* base memory in K */

    rtc_set_memory(s, 0x15, val);

    rtc_set_memory(s, 0x16, val >> 8);



    val = (ram_size / 1024) - 1024;

    if (val > 65535)

        val = 65535;

    rtc_set_memory(s, 0x17, val);

    rtc_set_memory(s, 0x18, val >> 8);

    rtc_set_memory(s, 0x30, val);

    rtc_set_memory(s, 0x31, val >> 8);



    if (above_4g_mem_size) {

        rtc_set_memory(s, 0x5b, (unsigned int)above_4g_mem_size >> 16);

        rtc_set_memory(s, 0x5c, (unsigned int)above_4g_mem_size >> 24);

        rtc_set_memory(s, 0x5d, (uint64_t)above_4g_mem_size >> 32);

    }



    if (ram_size > (16 * 1024 * 1024))

        val = (ram_size / 65536) - ((16 * 1024 * 1024) / 65536);

    else

        val = 0;

    if (val > 65535)

        val = 65535;

    rtc_set_memory(s, 0x34, val);

    rtc_set_memory(s, 0x35, val >> 8);



    /* set the number of CPU */

    rtc_set_memory(s, 0x5f, smp_cpus - 1);



    /* set boot devices, and disable floppy signature check if requested */

    if (set_boot_dev(s, boot_device, fd_bootchk)) {

        exit(1);

    }



    /* floppy type */

    if (floppy) {

        for (i = 0; i < 2; i++) {

            fd_type[i] = isa_fdc_get_drive_type(floppy, i);

        }

    }

    val = (cmos_get_fd_drive_type(fd_type[0]) << 4) |

        cmos_get_fd_drive_type(fd_type[1]);

    rtc_set_memory(s, 0x10, val);



    val = 0;

    nb = 0;

    if (fd_type[0] < FDRIVE_DRV_NONE) {

        nb++;

    }

    if (fd_type[1] < FDRIVE_DRV_NONE) {

        nb++;

    }

    switch (nb) {

    case 0:

        break;

    case 1:

        val |= 0x01; /* 1 drive, ready for boot */

        break;

    case 2:

        val |= 0x41; /* 2 drives, ready for boot */

        break;

    }

    val |= 0x02; /* FPU is there */

    val |= 0x04; /* PS/2 mouse installed */

    rtc_set_memory(s, REG_EQUIPMENT_BYTE, val);



    /* hard drives */

    arg.rtc_state = s;

    arg.idebus[0] = idebus0;

    arg.idebus[1] = idebus1;

    qemu_register_reset(pc_cmos_init_late, &arg);

}

void pc_cmos_init(ram_addr_t ram_size, ram_addr_t above_4g_mem_size,

                  const char *boot_device,

                  ISADevice *floppy, BusState *idebus0, BusState *idebus1,

                  ISADevice *s)

{

    int val, nb, i;

    FDriveType fd_type[2] = { FDRIVE_DRV_NONE, FDRIVE_DRV_NONE };

    static pc_cmos_init_late_arg arg;



    



    

    val = 640; 

    rtc_set_memory(s, 0x15, val);

    rtc_set_memory(s, 0x16, val >> 8);



    val = (ram_size / 1024) - 1024;

    if (val > 65535)

        val = 65535;

    rtc_set_memory(s, 0x17, val);

    rtc_set_memory(s, 0x18, val >> 8);

    rtc_set_memory(s, 0x30, val);

    rtc_set_memory(s, 0x31, val >> 8);



    if (above_4g_mem_size) {

        rtc_set_memory(s, 0x5b, (unsigned int)above_4g_mem_size >> 16);

        rtc_set_memory(s, 0x5c, (unsigned int)above_4g_mem_size >> 24);

        rtc_set_memory(s, 0x5d, (uint64_t)above_4g_mem_size >> 32);

    }



    if (ram_size > (16 * 1024 * 1024))

        val = (ram_size / 65536) - ((16 * 1024 * 1024) / 65536);

    else

        val = 0;

    if (val > 65535)

        val = 65535;

    rtc_set_memory(s, 0x34, val);

    rtc_set_memory(s, 0x35, val >> 8);



    

    rtc_set_memory(s, 0x5f, smp_cpus - 1);



    

    if (set_boot_dev(s, boot_device, fd_bootchk)) {

        exit(1);

    }



    

    if (floppy) {

        for (i = 0; i < 2; i++) {

            fd_type[i] = isa_fdc_get_drive_type(floppy, i);

        }

    }

    val = (cmos_get_fd_drive_type(fd_type[0]) << 4) |

        cmos_get_fd_drive_type(fd_type[1]);

    rtc_set_memory(s, 0x10, val);



    val = 0;

    nb = 0;

    if (fd_type[0] < FDRIVE_DRV_NONE) {

        nb++;

    }

    if (fd_type[1] < FDRIVE_DRV_NONE) {

        nb++;

    }

    switch (nb) {

    case 0:

        break;

    case 1:

        val |= 0x01; 

        break;

    case 2:

        val |= 0x41; 

        break;

    }

    val |= 0x02; 

    val |= 0x04; 

    rtc_set_memory(s, REG_EQUIPMENT_BYTE, val);



    

    arg.rtc_state = s;

    arg.idebus[0] = idebus0;

    arg.idebus[1] = idebus1;

    qemu_register_reset(pc_cmos_init_late, &arg);

}

    val = (ram_size / 1024) - 1024;     if (above_4g_mem_size) {         rtc_set_memory(s, 0x5b, (unsigned int)above_4g_mem_size >> 16);         rtc_set_memory(s, 0x5c, (unsigned int)above_4g_mem_size >> 24);         rtc_set_memory(s, 0x5d, (uint64_t)above_4g_mem_size >> 32);     if (ram_size > (16 * 1024 * 1024))         val = (ram_size / 65536) - ((16 * 1024 * 1024) / 65536);
void FUNC_0(ram_addr_t VAR_0, ram_addr_t VAR_1,

                  const char *VAR_2,

                  ISADevice *VAR_3, BusState *VAR_4, BusState *VAR_5,

                  ISADevice *VAR_6)

{

    int VAR_7, VAR_8, VAR_9;

    FDriveType fd_type[2] = { FDRIVE_DRV_NONE, FDRIVE_DRV_NONE };

    static pc_cmos_init_late_arg VAR_10;



    



    

    VAR_7 = 640; 

    rtc_set_memory(VAR_6, 0x15, VAR_7);

    rtc_set_memory(VAR_6, 0x16, VAR_7 >> 8);



    VAR_7 = (VAR_0 / 1024) - 1024;

    if (VAR_7 > 65535)

        VAR_7 = 65535;

    rtc_set_memory(VAR_6, 0x17, VAR_7);

    rtc_set_memory(VAR_6, 0x18, VAR_7 >> 8);

    rtc_set_memory(VAR_6, 0x30, VAR_7);

    rtc_set_memory(VAR_6, 0x31, VAR_7 >> 8);



    if (VAR_1) {

        rtc_set_memory(VAR_6, 0x5b, (unsigned int)VAR_1 >> 16);

        rtc_set_memory(VAR_6, 0x5c, (unsigned int)VAR_1 >> 24);

        rtc_set_memory(VAR_6, 0x5d, (uint64_t)VAR_1 >> 32);

    }



    if (VAR_0 > (16 * 1024 * 1024))

        VAR_7 = (VAR_0 / 65536) - ((16 * 1024 * 1024) / 65536);

    else

        VAR_7 = 0;

    if (VAR_7 > 65535)

        VAR_7 = 65535;

    rtc_set_memory(VAR_6, 0x34, VAR_7);

    rtc_set_memory(VAR_6, 0x35, VAR_7 >> 8);



    

    rtc_set_memory(VAR_6, 0x5f, smp_cpus - 1);



    

    if (set_boot_dev(VAR_6, VAR_2, fd_bootchk)) {

        exit(1);

    }



    

    if (VAR_3) {

        for (VAR_9 = 0; VAR_9 < 2; VAR_9++) {

            fd_type[VAR_9] = isa_fdc_get_drive_type(VAR_3, VAR_9);

        }

    }

    VAR_7 = (cmos_get_fd_drive_type(fd_type[0]) << 4) |

        cmos_get_fd_drive_type(fd_type[1]);

    rtc_set_memory(VAR_6, 0x10, VAR_7);



    VAR_7 = 0;

    VAR_8 = 0;

    if (fd_type[0] < FDRIVE_DRV_NONE) {

        VAR_8++;

    }

    if (fd_type[1] < FDRIVE_DRV_NONE) {

        VAR_8++;

    }

    switch (VAR_8) {

    case 0:

        break;

    case 1:

        VAR_7 |= 0x01; 

        break;

    case 2:

        VAR_7 |= 0x41; 

        break;

    }

    VAR_7 |= 0x02; 

    VAR_7 |= 0x04; 

    rtc_set_memory(VAR_6, REG_EQUIPMENT_BYTE, VAR_7);



    

    VAR_10.rtc_state = VAR_6;

    VAR_10.idebus[0] = VAR_4;

    VAR_10.idebus[1] = VAR_5;

    qemu_register_reset(pc_cmos_init_late, &VAR_10);

}

void FUNC_0(ram_addr_t VAR_0, ram_addr_t VAR_1,
const char *VAR_2,
ISADevice *VAR_3, BusState *VAR_4, BusState *VAR_5,
ISADevice *VAR_6)
{ int VAR_7, VAR_8, VAR_9; FDriveType fd_type[2] = { FDRIVE_DRV_NONE, FDRIVE_DRV_NONE }; static pc_cmos_init_late_arg VAR_10; VAR_7 = 640; rtc_set_memory(VAR_6, 0x15, VAR_7); rtc_set_memory(VAR_6, 0x16, VAR_7 >> 8); VAR_7 = (VAR_0 / 1024) - 1024; if (VAR_7 > 65535)
VAR_7 = 65535; rtc_set_memory(VAR_6, 0x17, VAR_7); rtc_set_memory(VAR_6, 0x18, VAR_7 >> 8); rtc_set_memory(VAR_6, 0x30, VAR_7); rtc_set_memory(VAR_6, 0x31, VAR_7 >> 8); if (VAR_1) { rtc_set_memory(VAR_6, 0x5b, (unsigned int)VAR_1 >> 16); rtc_set_memory(VAR_6, 0x5c, (unsigned int)VAR_1 >> 24); rtc_set_memory(VAR_6, 0x5d, (uint64_t)VAR_1 >> 32); } if (VAR_0 > (16 * 1024 * 1024))
VAR_7 = (VAR_0 / 65536) - ((16 * 1024 * 1024) / 65536); else
VAR_7 = 0; if (VAR_7 > 65535)
VAR_7 = 65535; rtc_set_memory(VAR_6, 0x34, VAR_7); rtc_set_memory(VAR_6, 0x35, VAR_7 >> 8); rtc_set_memory(VAR_6, 0x5f, smp_cpus - 1); if (set_boot_dev(VAR_6, VAR_2, fd_bootchk)) { exit(1); } if (VAR_3) { for (VAR_9 = 0; VAR_9 < 2; VAR_9++) { fd_type[VAR_9] = isa_fdc_get_drive_type(VAR_3, VAR_9); } } VAR_7 = (cmos_get_fd_drive_type(fd_type[0]) << 4) |
cmos_get_fd_drive_type(fd_type[1]); rtc_set_memory(VAR_6, 0x10, VAR_7); VAR_7 = 0; VAR_8 = 0; if (fd_type[0] < FDRIVE_DRV_NONE) { VAR_8++; } if (fd_type[1] < FDRIVE_DRV_NONE) { VAR_8++; } switch (VAR_8) { case 0:
break; case 1:
VAR_7 |= 0x01; break; case 2:
VAR_7 |= 0x41; break; } VAR_7 |= 0x02; VAR_7 |= 0x04; rtc_set_memory(VAR_6, REG_EQUIPMENT_BYTE, VAR_7); VAR_10.rtc_state = VAR_6; VAR_10.idebus[0] = VAR_4; VAR_10.idebus[1] = VAR_5; qemu_register_reset(pc_cmos_init_late, &VAR_10); }