/kernel/trunk/arch/sparc64/src/sparc64.c |
---|
32,7 → 32,6 |
#include <arch/console.h> |
#include <arch/drivers/tick.h> |
#include <proc/thread.h> |
#include <console/console.h> |
void arch_pre_mm_init(void) |
{ |
75,16 → 74,3 |
void calibrate_delay_loop(void) |
{ |
} |
/** Acquire console back for kernel |
* |
*/ |
void arch_grab_console(void) |
{ |
} |
/** Return console to userspace |
* |
*/ |
void arch_release_console(void) |
{ |
} |