/branches/sparc/kernel/arch/sparc64/src/cpu/sun4v/cpu.c |
---|
33,7 → 33,6 |
/** @file |
*/ |
#include <arch/cpu_family.h> |
#include <cpu.h> |
#include <arch.h> |
#include <genarch/ofw/ofw_tree.h> |
/branches/sparc/kernel/arch/sparc64/src/cpu/sun4u/cpu.c |
---|
39,7 → 39,7 |
#include <arch/drivers/tick.h> |
#include <print.h> |
#include <arch/cpu_node.h> |
#include <arch/sun4u/cpu.h> |
#include <arch/cpu.h> |
/** |
* Finds out the clock frequency of the current CPU. |