Rev 3661 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3661 | Rev 3774 | ||
---|---|---|---|
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); |