Rev 4027 | Rev 4117 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4027 | Rev 4045 | ||
---|---|---|---|
Line 80... | Line 80... | ||
80 | /* Initialize exception dispatch table */ |
80 | /* Initialize exception dispatch table */ |
81 | exception_init(); |
81 | exception_init(); |
82 | 82 | ||
83 | interrupt_init(); |
83 | interrupt_init(); |
84 | 84 | ||
85 | console_init(device_assign_devno()); |
85 | machine_console_init(device_assign_devno()); |
86 | 86 | ||
87 | #ifdef CONFIG_FB |
87 | #ifdef CONFIG_FB |
88 | fb_properties_t prop = { |
88 | fb_properties_t prop = { |
89 | .addr = machine_get_fb_address(), |
89 | .addr = machine_get_fb_address(), |
90 | .offset = 0, |
90 | .offset = 0, |