Changeset a71c158 in mainline for kernel/arch/arm32/include/machine_func.h

Timestamp:

2009-08-21T14:12:45Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

0e6dce8, b50b5af2, e5792d1

Parents:

90c8b8d

Message:

kernel output devices now suport multiple instances (except ski and sgcn, which respect the same interface, but behave as singletons)
if more than one output device gets initialized, the output is cloned to all of them
get rid of arch_grab_console() and arch_release_console() (output devices can implement a generic "redraw" method, input devices respect the "silent" global variable)
related cleanups and modifications

File:

• kernel/arch/arm32/include/machine_func.h (modified) (4 diffs)

kernel/arch/arm32/include/machine_func.h

@@ -49 +49 @@
 
 struct arm_machine_ops {
-        void            (*machine_grab_console)(void);
-        void            (*machine_release_console)(void);
         void            (*machine_init)(void);
         void            (*machine_timer_irq_start)(void);
         void            (*machine_cpu_halt)(void);
         uintptr_t       (*machine_get_memory_size)(void);
-        void            (*machine_fb_init)(void);
         void            (*machine_irq_exception)(int, istate_t*);
-        uintptr_t       (*machine_get_fb_address)(void);
         void            (*machine_frame_init)(void);
         void            (*machine_output_init)(void);
@@ -64 +60 @@
 
 extern struct arm_machine_ops machine_ops;
-
-
-/** Acquire console back for kernel. */
-extern void machine_grab_console(void);
-
-/** Return console to userspace. */
-extern void machine_release_console(void);
 
 
@@ -91 +80 @@
 extern uintptr_t machine_get_memory_size(void);
 
-/** Initializes the Frame Buffer
- *
- */
-extern void machine_fb_init(void);
-
 
 /** Interrupt exception handler.
@@ -104 +88 @@
 extern void machine_irq_exception(int exc_no, istate_t *istate);
 
-
-/** Returns address of framebuffer device.
- *
- *  @return Address of framebuffer device.
- */
-extern uintptr_t machine_get_fb_address(void);
 
 /*