| /trunk/kernel/arch/sparc64/include/boot/boot.h |
|---|
| 83,10 → 83,15 |
| } keyboard_t; |
| typedef struct { |
| uint32_t clock_frequency; |
| } processor_t; |
| typedef struct { |
| taskmap_t taskmap; |
| memmap_t memmap; |
| screen_t screen; |
| keyboard_t keyboard; |
| processor_t processor; |
| } bootinfo_t; |
| extern bootinfo_t bootinfo; |
| /trunk/kernel/arch/sparc64/include/asm.h |
|---|
| 35,10 → 35,12 |
| #ifndef KERN_sparc64_ASM_H_ |
| #define KERN_sparc64_ASM_H_ |
| #include <arch.h> |
| #include <typedefs.h> |
| #include <arch/types.h> |
| #include <arch/register.h> |
| #include <config.h> |
| #include <time/clock.h> |
| /** Read Processor State register. |
| * |
| 335,7 → 337,7 |
| extern void cpu_halt(void); |
| extern void cpu_sleep(void); |
| extern void asm_delay_loop(uint32_t t); |
| extern void asm_delay_loop(const uint32_t usec); |
| extern uint64_t read_from_ag_g7(void); |
| extern void write_to_ag_g6(uint64_t val); |
| /trunk/kernel/arch/sparc64/include/cpu.h |
|---|
| 52,6 → 52,7 |
| struct cpu_arch { |
| ver_reg_t ver; |
| uint32_t clock_frequency; |
| }; |
| #endif |
| /trunk/kernel/arch/sparc64/include/drivers/tick.h |
|---|
| 37,8 → 37,6 |
| #include <typedefs.h> |
| #define TICK_DELTA 500000 |
| extern void tick_init(void); |
| extern void tick_interrupt(int n, istate_t *istate); |