2 * QEMU Alpha DP264/CLIPPER hardware system emulator.
4 * Choose CLIPPER IRQ mappings over, say, DP264, MONET, or WEBBRICK
5 * variants because CLIPPER doesn't have an SMC669 SuperIO controller
6 * that we need to emulate as well.
9 #include "qemu/osdep.h"
10 #include "qemu-common.h"
14 #include "hw/loader.h"
15 #include "hw/boards.h"
16 #include "alpha_sys.h"
17 #include "qemu/error-report.h"
18 #include "sysemu/sysemu.h"
19 #include "hw/timer/mc146818rtc.h"
21 #include "hw/timer/i8254.h"
22 #include "hw/char/serial.h"
23 #include "qemu/cutils.h"
27 static uint64_t cpu_alpha_superpage_to_phys(void *opaque
, uint64_t addr
)
29 if (((addr
>> 41) & 3) == 2) {
30 addr
&= 0xffffffffffull
;
35 /* Note that there are at least 3 viewpoints of IRQ numbers on Alpha systems.
36 (0) The dev_irq_n lines into the cpu, which we totally ignore,
37 (1) The DRIR lines in the typhoon chipset,
38 (2) The "vector" aka mangled interrupt number reported by SRM PALcode,
39 (3) The interrupt number assigned by the kernel.
40 The following function is concerned with (1) only. */
42 static int clipper_pci_map_irq(PCIDevice
*d
, int irq_num
)
44 int slot
= d
->devfn
>> 3;
46 assert(irq_num
>= 0 && irq_num
<= 3);
48 return (slot
+ 1) * 4 + irq_num
;
51 static void clipper_init(MachineState
*machine
)
53 ram_addr_t ram_size
= machine
->ram_size
;
54 const char *cpu_model
= machine
->cpu_model
? machine
->cpu_model
: "ev67";
55 const char *kernel_filename
= machine
->kernel_filename
;
56 const char *kernel_cmdline
= machine
->kernel_cmdline
;
57 const char *initrd_filename
= machine
->initrd_filename
;
63 char *palcode_filename
;
64 uint64_t palcode_entry
, palcode_low
, palcode_high
;
65 uint64_t kernel_entry
, kernel_low
, kernel_high
;
67 /* Create up to 4 cpus. */
68 memset(cpus
, 0, sizeof(cpus
));
69 for (i
= 0; i
< smp_cpus
; ++i
) {
70 cpus
[i
] = ALPHA_CPU(cpu_generic_init(TYPE_ALPHA_CPU
, cpu_model
));
73 cpus
[0]->env
.trap_arg0
= ram_size
;
74 cpus
[0]->env
.trap_arg1
= 0;
75 cpus
[0]->env
.trap_arg2
= smp_cpus
;
77 /* Init the chipset. */
78 pci_bus
= typhoon_init(ram_size
, &isa_bus
, &rtc_irq
, cpus
,
81 /* Since we have an SRM-compatible PALcode, use the SRM epoch. */
82 rtc_init(isa_bus
, 1900, rtc_irq
);
84 pit_init(isa_bus
, 0x40, 0, NULL
);
85 isa_create_simple(isa_bus
, "i8042");
87 /* VGA setup. Don't bother loading the bios. */
88 pci_vga_init(pci_bus
);
90 /* Serial code setup. */
91 serial_hds_isa_init(isa_bus
, 0, MAX_SERIAL_PORTS
);
93 /* Network setup. e1000 is good enough, failing Tulip support. */
94 for (i
= 0; i
< nb_nics
; i
++) {
95 pci_nic_init_nofail(&nd_table
[i
], pci_bus
, "e1000", NULL
);
100 DriveInfo
*hd
[MAX_IDE_BUS
* MAX_IDE_DEVS
];
101 ide_drive_get(hd
, ARRAY_SIZE(hd
));
103 pci_cmd646_ide_init(pci_bus
, hd
, 0);
106 /* Load PALcode. Given that this is not "real" cpu palcode,
107 but one explicitly written for the emulation, we might as
108 well load it directly from and ELF image. */
109 palcode_filename
= qemu_find_file(QEMU_FILE_TYPE_BIOS
,
110 bios_name
? bios_name
: "palcode-clipper");
111 if (palcode_filename
== NULL
) {
112 error_report("no palcode provided");
115 size
= load_elf(palcode_filename
, cpu_alpha_superpage_to_phys
,
116 NULL
, &palcode_entry
, &palcode_low
, &palcode_high
,
119 error_report("could not load palcode '%s'", palcode_filename
);
122 g_free(palcode_filename
);
124 /* Start all cpus at the PALcode RESET entry point. */
125 for (i
= 0; i
< smp_cpus
; ++i
) {
126 cpus
[i
]->env
.pc
= palcode_entry
;
127 cpus
[i
]->env
.palbr
= palcode_entry
;
131 if (kernel_filename
) {
132 uint64_t param_offset
;
134 size
= load_elf(kernel_filename
, cpu_alpha_superpage_to_phys
,
135 NULL
, &kernel_entry
, &kernel_low
, &kernel_high
,
138 error_report("could not load kernel '%s'", kernel_filename
);
142 cpus
[0]->env
.trap_arg1
= kernel_entry
;
144 param_offset
= kernel_low
- 0x6000;
146 if (kernel_cmdline
) {
147 pstrcpy_targphys("cmdline", param_offset
, 0x100, kernel_cmdline
);
150 if (initrd_filename
) {
151 long initrd_base
, initrd_size
;
153 initrd_size
= get_image_size(initrd_filename
);
154 if (initrd_size
< 0) {
155 error_report("could not load initial ram disk '%s'",
160 /* Put the initrd image as high in memory as possible. */
161 initrd_base
= (ram_size
- initrd_size
) & TARGET_PAGE_MASK
;
162 load_image_targphys(initrd_filename
, initrd_base
,
163 ram_size
- initrd_base
);
165 address_space_stq(&address_space_memory
, param_offset
+ 0x100,
166 initrd_base
+ 0xfffffc0000000000ULL
,
167 MEMTXATTRS_UNSPECIFIED
,
169 address_space_stq(&address_space_memory
, param_offset
+ 0x108,
170 initrd_size
, MEMTXATTRS_UNSPECIFIED
, NULL
);
175 static void clipper_machine_init(MachineClass
*mc
)
177 mc
->desc
= "Alpha DP264/CLIPPER";
178 mc
->init
= clipper_init
;
179 mc
->block_default_type
= IF_IDE
;
184 DEFINE_MACHINE("clipper", clipper_machine_init
)