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.
11 #include "hw/loader.h"
12 #include "hw/boards.h"
13 #include "alpha_sys.h"
14 #include "sysemu/sysemu.h"
15 #include "hw/timer/mc146818rtc.h"
17 #include "hw/timer/i8254.h"
18 #include "hw/char/serial.h"
22 static uint64_t cpu_alpha_superpage_to_phys(void *opaque
, uint64_t addr
)
24 if (((addr
>> 41) & 3) == 2) {
25 addr
&= 0xffffffffffull
;
30 /* Note that there are at least 3 viewpoints of IRQ numbers on Alpha systems.
31 (0) The dev_irq_n lines into the cpu, which we totally ignore,
32 (1) The DRIR lines in the typhoon chipset,
33 (2) The "vector" aka mangled interrupt number reported by SRM PALcode,
34 (3) The interrupt number assigned by the kernel.
35 The following function is concerned with (1) only. */
37 static int clipper_pci_map_irq(PCIDevice
*d
, int irq_num
)
39 int slot
= d
->devfn
>> 3;
41 assert(irq_num
>= 0 && irq_num
<= 3);
43 return (slot
+ 1) * 4 + irq_num
;
46 static void clipper_init(QEMUMachineInitArgs
*args
)
48 ram_addr_t ram_size
= args
->ram_size
;
49 const char *cpu_model
= args
->cpu_model
;
50 const char *kernel_filename
= args
->kernel_filename
;
51 const char *kernel_cmdline
= args
->kernel_cmdline
;
52 const char *initrd_filename
= args
->initrd_filename
;
58 const char *palcode_filename
;
59 uint64_t palcode_entry
, palcode_low
, palcode_high
;
60 uint64_t kernel_entry
, kernel_low
, kernel_high
;
62 /* Create up to 4 cpus. */
63 memset(cpus
, 0, sizeof(cpus
));
64 for (i
= 0; i
< smp_cpus
; ++i
) {
65 cpus
[i
] = cpu_alpha_init(cpu_model
? cpu_model
: "ev67");
68 cpus
[0]->env
.trap_arg0
= ram_size
;
69 cpus
[0]->env
.trap_arg1
= 0;
70 cpus
[0]->env
.trap_arg2
= smp_cpus
;
72 /* Init the chipset. */
73 pci_bus
= typhoon_init(ram_size
, &isa_bus
, &rtc_irq
, cpus
,
76 /* Since we have an SRM-compatible PALcode, use the SRM epoch. */
77 rtc_init(isa_bus
, 1900, rtc_irq
);
79 pit_init(isa_bus
, 0x40, 0, NULL
);
80 isa_create_simple(isa_bus
, "i8042");
82 /* VGA setup. Don't bother loading the bios. */
83 pci_vga_init(pci_bus
);
85 /* Serial code setup. */
86 for (i
= 0; i
< MAX_SERIAL_PORTS
; ++i
) {
88 serial_isa_init(isa_bus
, i
, serial_hds
[i
]);
92 /* Network setup. e1000 is good enough, failing Tulip support. */
93 for (i
= 0; i
< nb_nics
; i
++) {
94 pci_nic_init_nofail(&nd_table
[i
], pci_bus
, "e1000", NULL
);
99 DriveInfo
*hd
[MAX_IDE_BUS
* MAX_IDE_DEVS
];
100 ide_drive_get(hd
, MAX_IDE_BUS
);
102 pci_cmd646_ide_init(pci_bus
, hd
, 0);
105 /* Load PALcode. Given that this is not "real" cpu palcode,
106 but one explicitly written for the emulation, we might as
107 well load it directly from and ELF image. */
108 palcode_filename
= (bios_name
? bios_name
: "palcode-clipper");
109 palcode_filename
= qemu_find_file(QEMU_FILE_TYPE_BIOS
, palcode_filename
);
110 if (palcode_filename
== NULL
) {
111 hw_error("no palcode provided\n");
114 size
= load_elf(palcode_filename
, cpu_alpha_superpage_to_phys
,
115 NULL
, &palcode_entry
, &palcode_low
, &palcode_high
,
118 hw_error("could not load palcode '%s'\n", palcode_filename
);
122 /* Start all cpus at the PALcode RESET entry point. */
123 for (i
= 0; i
< smp_cpus
; ++i
) {
124 cpus
[i
]->env
.pal_mode
= 1;
125 cpus
[i
]->env
.pc
= palcode_entry
;
126 cpus
[i
]->env
.palbr
= palcode_entry
;
130 if (kernel_filename
) {
131 uint64_t param_offset
;
133 size
= load_elf(kernel_filename
, cpu_alpha_superpage_to_phys
,
134 NULL
, &kernel_entry
, &kernel_low
, &kernel_high
,
137 hw_error("could not load kernel '%s'\n", kernel_filename
);
141 cpus
[0]->env
.trap_arg1
= kernel_entry
;
143 param_offset
= kernel_low
- 0x6000;
145 if (kernel_cmdline
) {
146 pstrcpy_targphys("cmdline", param_offset
, 0x100, kernel_cmdline
);
149 if (initrd_filename
) {
150 long initrd_base
, initrd_size
;
152 initrd_size
= get_image_size(initrd_filename
);
153 if (initrd_size
< 0) {
154 hw_error("could not load initial ram disk '%s'\n",
159 /* Put the initrd image as high in memory as possible. */
160 initrd_base
= (ram_size
- initrd_size
) & TARGET_PAGE_MASK
;
161 load_image_targphys(initrd_filename
, initrd_base
,
162 ram_size
- initrd_base
);
164 stq_phys(param_offset
+ 0x100, initrd_base
+ 0xfffffc0000000000ULL
);
165 stq_phys(param_offset
+ 0x108, initrd_size
);
170 static QEMUMachine clipper_machine
= {
172 .desc
= "Alpha DP264/CLIPPER",
173 .init
= clipper_init
,
178 static void clipper_machine_init(void)
180 qemu_register_machine(&clipper_machine
);
183 machine_init(clipper_machine_init
);