137 |
|
|
138 |
/* XXX: make it dynamic */ |
/* XXX: make it dynamic */ |
139 |
#if defined (TARGET_PPC) |
#if defined (TARGET_PPC) |
140 |
#define BIOS_SIZE (512 * 1024) |
#define BIOS_SIZE ((512 + 32) * 1024) |
141 |
#elif defined(TARGET_MIPS) |
#elif defined(TARGET_MIPS) |
142 |
#define BIOS_SIZE (128 * 1024) |
#define BIOS_SIZE (128 * 1024) |
143 |
#else |
#else |
596 |
} |
} |
597 |
|
|
598 |
int vga_initialize(PCIBus *bus, DisplayState *ds, uint8_t *vga_ram_base, |
int vga_initialize(PCIBus *bus, DisplayState *ds, uint8_t *vga_ram_base, |
599 |
unsigned long vga_ram_offset, int vga_ram_size); |
unsigned long vga_ram_offset, int vga_ram_size, |
600 |
|
unsigned long vga_bios_offset, int vga_bios_size); |
601 |
void vga_update_display(void); |
void vga_update_display(void); |
602 |
void vga_invalidate_display(void); |
void vga_invalidate_display(void); |
603 |
void vga_screen_dump(const char *filename); |
void vga_screen_dump(const char *filename); |