Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 2356 → Rev 2357

/branches/arm/kernel/arch/arm32/include/asm/boot.h
30,7 → 30,7
* @{
*/
/** @file
* @brief Included in assembly boot source.
* @brief Initial kernel start.
*/
 
#ifndef KERN_arm32_ASM_BOOT_H_
37,10 → 37,27
#define KERN_arm32_ASM_BOOT_H_
 
 
/** Size of a temporary stack used for boot process. */
/** Size of a temporary stack used for initial kernel start. */
#define TEMP_STACK_SIZE 0x100
 
#ifndef __ASM__
 
/** Kernel entry point.
*
* Implemented in assembly. Copies boot_bootinfo (declared as bootinfo in
* boot/arch/arm32/loader/main.c) to #bootinfo struct. Then jumps to
* #arch_pre_main and #main_bsp.
*
* @param entry Entry point address (not used).
* @param boot_bootinfo Struct holding information about loaded tasks.
* @param bootinfo_size Size of the bootinfo structure.
*/
void kernel_image_start(void *entry, void *boot_bootinfo, unsigned int bootinfo_size);
 
 
#endif
 
#endif
 
/** @}
*/
/branches/arm/kernel/arch/arm32/include/byteorder.h
29,7 → 29,8
/** @addtogroup arm32
* @{
*/
/** @file Endianness definitions.
/** @file
* @brief Endianness definitions.
*/
 
#ifndef KERN_arm32_BYTEORDER_H_
/branches/arm/kernel/arch/arm32/include/debug/print.h
30,6 → 30,7
* @{
*/
/** @file
* @brief Debug printing functions.
*/
 
#ifndef KERN_arm32_DEBUG_PRINT_H_
41,7 → 42,6
extern void debug_puts(const char *str);
extern void debug_printf(const char *fmt, ...);
 
 
#ifdef CONFIG_DEBUG
# define dprintf(arg1...) debug_printf(arg1)
# define dputs(arg1) debug_puts(arg1)
/branches/arm/kernel/arch/arm32/include/console.h
30,11 → 30,17
* @{
*/
/** @file
* @brief Console.
*/
 
#ifndef KERN_arm32_CONSOLE_H_
#define KERN_arm32_CONSOLE_H_
 
 
/** Initializes console.
*
* @param devno Console device number.
*/
extern void console_init(devno_t devno);
 
#endif
/branches/arm/kernel/arch/arm32/include/boot.h
29,9 → 29,10
/** @addtogroup arm32
* @{
*/
/** @file Bootinfo declarations.
/** @file
* @brief Bootinfo declarations.
*
* Reflects boot/arch/arm32/loader/mm.h.
* Reflects boot/arch/arm32/loader/main.h.
*/
 
#ifndef KERN_arm32_BOOT_H_
/branches/arm/kernel/arch/arm32/include/machine.h
40,15 → 40,51
#include <arch/types.h>
#include <arch/exception.h>
 
 
/** Initializes console.
*
* @param devno Console device number.
*/
extern void machine_console_init(devno_t devno);
 
/** Acquire console back for kernel. */
extern void machine_grab_console(void);
 
/** Return console to userspace. */
extern void machine_release_console(void);
 
/** Maps HW devices to the kernel address space using #hw_map. */
extern void machine_hw_map_init(void);
 
/** Starts timer. */
extern void machine_timer_irq_start(void);
 
/** Halts CPU. */
extern void machine_cpu_halt(void);
 
 
/** Returns size of available memory.
*
* @return Size of available memory.
*/
extern size_t machine_get_memory_size(void);
 
 
/** Prints a character.
*
* @param ch Character to be printed.
*/
extern void machine_debug_putc(char ch);
extern void machine_cpu_halt(void);
 
 
/** Interrupt exception handler.
*
* @param exc_no Interrupt exception number.
* @param istate Saved processor state.
*/
extern void machine_irq_exception(int exc_no, istate_t *istate);
 
 
extern uintptr_t machine_get_fb_address(void);
 
#endif
/branches/arm/kernel/arch/arm32/include/faddr.h
30,6 → 30,7
* @{
*/
/** @file
* @brief Function address conversion.
*/
 
#ifndef KERN_arm32_FADDR_H_
37,6 → 38,10
 
#include <arch/types.h>
 
/** Calculate absolute address of function referenced by fptr pointer.
*
* @param f Function pointer.
*/
#define FADDR(fptr) ((uintptr_t) (fptr))
 
#endif
/branches/arm/kernel/arch/arm32/include/context.h
46,7 → 46,7
 
#include <arch/types.h>
 
/* Struct containing registers that must be preserved across function calls. */
/** Thread context containing registers that must be preserved across function calls. */
typedef struct {
uint32_t cpu_mode;
uintptr_t sp;
/branches/arm/kernel/arch/arm32/include/drivers/gxemul.h
53,6 → 53,7
uintptr_t irqc;
uintptr_t irqc_mask;
uintptr_t irqc_unmask;
uintptr_t fb;
} gxemul_hw_map_t;