Subversion Repositories HelenOS

Rev

Rev 4669 | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

  1. /*
  2.  * Copyright (c) 2007 Michal Kebrt
  3.  * Copyright (c) 2009 Vineeth Pillai
  4.  * All rights reserved.
  5.  *
  6.  * Redistribution and use in source and binary forms, with or without
  7.  * modification, are permitted provided that the following conditions
  8.  * are met:
  9.  *
  10.  * - Redistributions of source code must retain the above copyright
  11.  *   notice, this list of conditions and the following disclaimer.
  12.  * - Redistributions in binary form must reproduce the above copyright
  13.  *   notice, this list of conditions and the following disclaimer in the
  14.  *   documentation and/or other materials provided with the distribution.
  15.  * - The name of the author may not be used to endorse or promote products
  16.  *   derived from this software without specific prior written permission.
  17.  *
  18.  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  19.  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  20.  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  21.  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  22.  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  23.  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  24.  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  25.  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  26.  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  27.  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  28.  */
  29.  
  30. /** @addtogroup arm32
  31.  * @{
  32.  */
  33. /** @file
  34.  *  @brief Declarations of machine specific functions.
  35.  *
  36.  *  These functions enable to differentiate more kinds of ARM emulators
  37.  *  or CPUs. It's the same concept as "arch" functions on the architecture
  38.  *  level.
  39.  */
  40.  
  41. #ifndef KERN_arm32_MACHINE_FUNC_H_
  42. #define KERN_arm32_MACHINE_FUNC_H_
  43.  
  44. #include <console/console.h>
  45. #include <arch/types.h>
  46. #include <arch/exception.h>
  47.  
  48. #define MACHINE_GENFUNC machine_genfunc
  49.  
  50. struct arm_machine_ops {
  51.     void        (*machine_grab_console)(void);
  52.     void        (*machine_release_console)(void);
  53.     void        (*machine_init)(void);
  54.     void        (*machine_timer_irq_start)(void);
  55.     void        (*machine_cpu_halt)(void);
  56.     uintptr_t   (*machine_get_memory_size)(void);
  57.     void        (*machine_fb_init)(void);
  58.     void        (*machine_irq_exception)(int, istate_t*);
  59.     uintptr_t   (*machine_get_fb_address)(void);
  60.     void        (*machine_frame_init)(void);
  61.     void        (*machine_output_init)(void);
  62.     void        (*machine_input_init)(void);
  63. };
  64.  
  65. extern struct arm_machine_ops machine_ops;
  66.  
  67.  
  68. /** Acquire console back for kernel. */
  69. extern void machine_grab_console(void);
  70.  
  71. /** Return console to userspace. */
  72. extern void machine_release_console(void);
  73.  
  74.  
  75. /** Maps HW devices to the kernel address space using #hw_map. */
  76. extern void machine_init(void);
  77.  
  78.  
  79. /** Starts timer. */
  80. extern void machine_timer_irq_start(void);
  81.  
  82.  
  83. /** Halts CPU. */
  84. extern void machine_cpu_halt(void);
  85.  
  86.  
  87. /** Returns size of available memory.
  88.  *
  89.  *  @return Size of available memory.
  90.  */
  91. extern uintptr_t machine_get_memory_size(void);
  92.  
  93. /** Initializes the Frame Buffer
  94.  *
  95.  */
  96. extern void machine_fb_init(void);
  97.  
  98.  
  99. /** Interrupt exception handler.
  100.  *
  101.  * @param exc_no Interrupt exception number.
  102.  * @param istate Saved processor state.
  103.  */
  104. extern void machine_irq_exception(int exc_no, istate_t *istate);
  105.  
  106.  
  107. /** Returns address of framebuffer device.
  108.  *
  109.  *  @return Address of framebuffer device.
  110.  */
  111. extern uintptr_t machine_get_fb_address(void);
  112.  
  113. /*
  114.  * Machine specific frame initialization
  115.  */
  116. extern void machine_frame_init(void);
  117.  
  118. /*
  119.  * configure the serial line output device.
  120.  */
  121. extern void machine_output_init(void);
  122.  
  123. /*
  124.  * configure the serial line input device.
  125.  */
  126. extern void machine_input_init(void);
  127.  
  128. extern void machine_genfunc(void);
  129. #endif
  130.  
  131. /** @}
  132.  */
  133.