/branches/arm/kernel/arch/arm32/include/debug_print/print.h |
---|
1,5 → 1,5 |
/* |
* Copyright (c) 2006 Martin Decky |
* Copyright (c) 2007 Michal Kebrt |
* All rights reserved. |
* |
* Redistribution and use in source and binary forms, with or without |
26,13 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
#ifndef KERN_arm32_DEBUG_PRINT_PRINTF_H_ |
#define KERN_arm32_DEBUG_PRINT_PRINTF_H_ |
/** @addtogroup arm32 |
* @{ |
*/ |
/** @file |
*/ |
#define INT8 1 |
#define INT16 2 |
#define INT32 4 |
#define INT64 8 |
#ifndef KERN_arm32_DEBUG_PRINT_H_ |
#define KERN_arm32_DEBUG_PRINT_H_ |
#include <stdarg.h> |
#include <arch/types.h> |
39,7 → 40,6 |
extern void debug_puts(const char *str); |
extern void debug_printf(const char *fmt, ...); |
extern int debug_write(const char *str, size_t count, void *unused); |
#ifdef CONFIG_DEBUG |
51,3 → 51,7 |
#endif |
#endif |
/** @} |
*/ |
/branches/arm/kernel/arch/arm32/src/exception.c |
---|
34,7 → 34,7 |
*/ |
#include <arch/exception.h> |
#include <arch/debug_print/print.h> |
#include <arch/debug/print.h> |
#include <arch/memstr.h> |
#include <arch/regutils.h> |
#include <interrupt.h> |
307,6 → 307,7 |
} |
#endif |
/** Initializes exception handling. |
* |
* Installs low-level exception handlers and then registers |
326,9 → 327,8 |
/* TODO add next */ |
} |
/** Sets stack pointers in all supported exception modes. |
* |
* @param stack_ptr stack pointer |
*/ |
void setup_exception_stacks() |
{ |
353,10 → 353,13 |
and then set stack pointer here */ |
current_status_reg_control_write(cspr); |
} |
/** Prints #istate_t structure content. |
* |
* @param istate Structure to be printed. |
*/ |
void print_istate(istate_t *istate) |
{ |
dprintf("istate dump:\n"); |
/branches/arm/kernel/arch/arm32/src/debug_print/print.c |
---|
26,16 → 26,22 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup arm32 |
* @{ |
*/ |
/** @file |
*/ |
#include <printf/printf_core.h> |
#include <arch/debug_print/print.h> |
#include <arch/debug/print.h> |
#include <arch/machine.h> |
/** |
* Prints a character to console. |
* Prints a character to the console. |
* |
* @param ch character to be printed |
* @param ch Character to be printed. |
*/ |
static void putc(char ch) |
{ |
42,7 → 48,16 |
machine_debug_putc(ch); |
} |
int debug_write(const char *str, size_t count, void *unused) |
/** Prints a string to the console. |
* |
* @param str String to be printed. |
* @param count Number of characters to be printed. |
* @param unused Unused parameter. |
* |
* @return Number of printed characters. |
*/ |
static int debug_write(const char *str, size_t count, void *unused) |
{ |
int i; |
for (i = 0; i < count; ++i) { |
51,6 → 66,11 |
return i; |
} |
/** Prints a formated string. |
* |
* @param fmt "Printf-like" format. |
*/ |
void debug_printf(const char *fmt, ...) |
{ |
va_list args; |
62,4 → 82,5 |
va_end(args); |
} |
/** @} |
*/ |
/branches/arm/kernel/arch/arm32/src/arm32.c |
---|
41,8 → 41,7 |
#include <genarch/fb/fb.h> |
#include <genarch/fb/visuals.h> |
#include <ddi/irq.h> |
#include <arch/debug_print/print.h> |
#include <arch/debug/print.h> |
#include <print.h> |
#include <config.h> |
#include <interrupt.h> |
/branches/arm/kernel/arch/arm32/src/mm/page_fault.c |
---|
33,7 → 33,7 |
*/ |
#include <panic.h> |
#include <arch/exception.h> |
#include <arch/debug_print/print.h> |
#include <arch/debug/print.h> |
#include <arch/mm/page_fault.h> |
#include <mm/as.h> |
#include <genarch/mm/page_pt.h> |
/branches/arm/kernel/arch/arm32/src/mm/page.c |
---|
41,7 → 41,7 |
#include <typedefs.h> |
#include <arch/types.h> |
#include <interrupt.h> |
#include <arch/debug_print/print.h> |
#include <arch/debug/print.h> |
/** |
/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c |
---|
42,7 → 42,7 |
#include <ddi/device.h> |
#include <mm/page.h> |
#include <arch/machine.h> |
#include <arch/debug_print/print.h> |
#include <arch/debug/print.h> |
/** Address of devices. */ |
#define GXEMUL_VIDEORAM 0x10000000 |