/kernel/trunk/arch/ppc32/src/ppc32.c |
---|
73,9 → 73,9 |
fb_init(bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
/* Initialize PIC */ |
pic_init(); |
pic_init(bootinfo.keyboard.addr, PAGE_SIZE); |
cuda_init(bootinfo.keyboard.addr, bootinfo.keyboard.size); |
cuda_init(bootinfo.keyboard.addr + 0x16000, 2 * PAGE_SIZE); |
/* Merge all zones to 1 big zone */ |
zone_merge_all(); |
/kernel/trunk/arch/ppc32/src/drivers/pic.c |
---|
40,9 → 40,9 |
static volatile __u32 *pic; |
void pic_init(void) |
void pic_init(__address base, size_t size) |
{ |
pic = (__u32 *)hw_map(PIC_HW_ADDR, PAGE_SIZE); |
pic = (__u32 *) hw_map(base, size); |
} |