Rev 3674 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3674 | Rev 4338 | ||
|---|---|---|---|
| Line 66... | Line 66... | ||
| 66 | unsigned long * sapic; |
66 | unsigned long * sapic; |
| 67 | unsigned long sys_freq; |
67 | unsigned long sys_freq; |
| 68 | unsigned long freq_scale; |
68 | unsigned long freq_scale; |
| 69 | unsigned int wakeup_intno; |
69 | unsigned int wakeup_intno; |
| 70 | int hello_configured; |
70 | int hello_configured; |
| 71 | - | ||
| 72 | } bootinfo_t; |
71 | } bootinfo_t; |
| 73 | 72 | ||
| 74 | extern bootinfo_t *bootinfo; |
73 | extern bootinfo_t *bootinfo; |
| 75 | 74 | ||
| 76 | extern void start(void); |
75 | extern void start(void); |