Subversion Repositories HelenOS

Rev

Rev 2356 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2356 Rev 2357
Line 38... Line 38...
38 
 
 38 
 
39 
#include <console/console.h>
 39 
#include <console/console.h>
40 
#include <arch/types.h>
 40 
#include <arch/types.h>
41 
#include <arch/exception.h>
 41 
#include <arch/exception.h>
42 
 
 42 
 
- 
 
 43 
 
- 
 
 44 
/** Initializes console.
- 
 
 45 
 *
- 
 
 46 
 * @param devno Console device number.
- 
 
 47 
 */
43 
extern void machine_console_init(devno_t devno);
 48 
extern void machine_console_init(devno_t devno);
- 
 
 49 
 
- 
 
 50 
/** Acquire console back for kernel. */
44 
extern void machine_grab_console(void);
 51 
extern void machine_grab_console(void);
- 
 
 52 
 
- 
 
 53 
/** Return console to userspace. */
45 
extern void machine_release_console(void);
 54 
extern void machine_release_console(void);
- 
 
 55 
 
- 
 
 56 
/** Maps HW devices to the kernel address space using #hw_map. */
46 
extern void machine_hw_map_init(void);
 57 
extern void machine_hw_map_init(void);
- 
 
 58 
 
- 
 
 59 
/** Starts timer. */
47 
extern void machine_timer_irq_start(void);
 60 
extern void machine_timer_irq_start(void);
- 
 
 61 
 
- 
 
 62 
/** Halts CPU. */
- 
 
 63 
extern void machine_cpu_halt(void);
- 
 
 64 
 
- 
 
 65 
 
- 
 
 66 
/** Returns size of available memory.
- 
 
 67 
 *
- 
 
 68 
 *  @return Size of available memory.
- 
 
 69 
 */
48 
extern size_t machine_get_memory_size(void);
 70 
extern size_t machine_get_memory_size(void);
- 
 
 71 
 
- 
 
 72 
 
- 
 
 73 
/** Prints a character.
- 
 
 74 
 *
- 
 
 75 
 *  @param ch Character to be printed.
- 
 
 76 
 */
49 
extern void machine_debug_putc(char ch);
 77 
extern void machine_debug_putc(char ch);
- 
 
 78 
 
- 
 
 79 
 
50 
extern void machine_cpu_halt(void);
 80 
/** Interrupt exception handler.
- 
 
 81 
 *
- 
 
 82 
 * @param exc_no Interrupt exception number.
- 
 
 83 
 * @param istate Saved processor state.
- 
 
 84 
 */
51 
extern void machine_irq_exception(int exc_no, istate_t *istate);
 85 
extern void machine_irq_exception(int exc_no, istate_t *istate);
- 
 
 86 
 
- 
 
 87 
 
52 
extern uintptr_t machine_get_fb_address(void);
 88 
extern uintptr_t machine_get_fb_address(void);
53 
 
 89 
 
54 
#endif
 90 
#endif
55 
 
 91 
 
56 
/** @}
 92 
/** @}