The x86 timer interrupt handler is the only handler not traced in the
[linux-2.6/next.git] / arch / ia64 / dig / setup.c
blob9196b330ff7fa917c0508ca6e5b35578b0bffc86
1 /*
2 * Platform dependent support for DIG64 platforms.
4 * Copyright (C) 1999 Intel Corp.
5 * Copyright (C) 1999, 2001 Hewlett-Packard Co
6 * Copyright (C) 1999, 2001, 2003 David Mosberger-Tang <davidm@hpl.hp.com>
7 * Copyright (C) 1999 VA Linux Systems
8 * Copyright (C) 1999 Walt Drummond <drummond@valinux.com>
9 * Copyright (C) 1999 Vijay Chander <vijay@engr.sgi.com>
12 #include <linux/init.h>
13 #include <linux/delay.h>
14 #include <linux/kernel.h>
15 #include <linux/kdev_t.h>
16 #include <linux/string.h>
17 #include <linux/screen_info.h>
18 #include <linux/console.h>
19 #include <linux/timex.h>
20 #include <linux/sched.h>
21 #include <linux/root_dev.h>
23 #include <asm/io.h>
24 #include <asm/machvec.h>
25 #include <asm/system.h>
27 void __init
28 dig_setup (char **cmdline_p)
30 unsigned int orig_x, orig_y, num_cols, num_rows, font_height;
33 * Default to /dev/sda2. This assumes that the EFI partition
34 * is physical disk 1 partition 1 and the Linux root disk is
35 * physical disk 1 partition 2.
37 ROOT_DEV = Root_SDA2; /* default to second partition on first drive */
39 #ifdef CONFIG_SMP
40 init_smp_config();
41 #endif
43 memset(&screen_info, 0, sizeof(screen_info));
45 if (!ia64_boot_param->console_info.num_rows
46 || !ia64_boot_param->console_info.num_cols)
48 printk(KERN_WARNING "dig_setup: warning: invalid screen-info, guessing 80x25\n");
49 orig_x = 0;
50 orig_y = 0;
51 num_cols = 80;
52 num_rows = 25;
53 font_height = 16;
54 } else {
55 orig_x = ia64_boot_param->console_info.orig_x;
56 orig_y = ia64_boot_param->console_info.orig_y;
57 num_cols = ia64_boot_param->console_info.num_cols;
58 num_rows = ia64_boot_param->console_info.num_rows;
59 font_height = 400 / num_rows;
62 screen_info.orig_x = orig_x;
63 screen_info.orig_y = orig_y;
64 screen_info.orig_video_cols = num_cols;
65 screen_info.orig_video_lines = num_rows;
66 screen_info.orig_video_points = font_height;
67 screen_info.orig_video_mode = 3; /* XXX fake */
68 screen_info.orig_video_isVGA = 1; /* XXX fake */
69 screen_info.orig_video_ega_bx = 3; /* XXX fake */