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. |
*/ |