267 static void cmos_init(ram_addr_t ram_size, ram_addr_t above_4g_mem_size,  in cmos_init()  argument
285     val = (ram_size / 1024) - 1024;  in cmos_init()
299     if (ram_size > (16 * 1024 * 1024))  in cmos_init()
300         val = (ram_size / 65536) - ((16 * 1024 * 1024) / 65536);  in cmos_init()
486     fw_cfg_add_i64(fw_cfg, FW_CFG_RAM_SIZE, (uint64_t)ram_size);  in bochs_bios_init()
877 static void pc_init1(ram_addr_t ram_size,  argument
902     if (ram_size >= 0xe0000000 ) {
903         above_4g_mem_size = ram_size - 0xe0000000;
906         below_4g_mem_size = ram_size;
1286 static void pc_init_pci(ram_addr_t ram_size,  argument
1293     pc_init1(ram_size, boot_device,
1298 static void pc_init_isa(ram_addr_t ram_size,  argument
1305     pc_init1(ram_size, boot_device,