| 56,14 → 56,24 |
|---|
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <arch/register.h> |
| #include <arch/sun4u/regdef.h> |
| #include <arch/regdef.h> |
| #include <arch/asm.h> |
| #include <arch/sun4u/arch.h> |
| #include <arch/arch.h> |
| |
| #ifdef CONFIG_SMP |
| #include <arch/mm/cache.h> |
| #endif |
| |
| typedef struct { |
| uint32_t mid; /**< Processor ID as read from |
| UPA_CONFIG/FIREPLANE_CONFIG. */ |
| ver_reg_t ver; |
| uint32_t clock_frequency; /**< Processor frequency in Hz. */ |
| uint64_t next_tick_cmpr; /**< Next clock interrupt should be |
| generated when the TICK register |
| matches this value. */ |
| } cpu_arch_t; |
| |
| /** |
| * Reads the module ID (agent ID/CPUID) of the current CPU. |
| */ |