HelenOSHelenOS-docHelenOS-historic

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /branches/arm/kernel/arch/arm32 @ 2325

  → /branches/arm/kernel/arch/arm32 @ 2326

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 2325 → Rev 2326

/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