Subversion Repositories HelenOS

Rev

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

  1. /*
  2.  * Copyright (c) 2006 Martin Decky
  3.  * All rights reserved.
  4.  *
  5.  * Redistribution and use in source and binary forms, with or without
  6.  * modification, are permitted provided that the following conditions
  7.  * are met:
  8.  *
  9.  * - Redistributions of source code must retain the above copyright
  10.  *   notice, this list of conditions and the following disclaimer.
  11.  * - Redistributions in binary form must reproduce the above copyright
  12.  *   notice, this list of conditions and the following disclaimer in the
  13.  *   documentation and/or other materials provided with the distribution.
  14.  * - The name of the author may not be used to endorse or promote products
  15.  *   derived from this software without specific prior written permission.
  16.  *
  17.  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  18.  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  19.  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  20.  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  21.  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  22.  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23.  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24.  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25.  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  26.  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27.  */
  28.  
  29. /** @addtogroup ia32xen
  30.  * @{
  31.  */
  32. /** @file
  33.  */
  34.  
  35. #include <arch.h>
  36. #include <main/main.h>
  37.  
  38. #include <arch/types.h>
  39. #include <align.h>
  40.  
  41. #include <arch/pm.h>
  42.  
  43. #include <arch/drivers/xconsole.h>
  44. #include <arch/mm/page.h>
  45.  
  46. #include <arch/context.h>
  47.  
  48. #include <config.h>
  49.  
  50. #include <arch/interrupt.h>
  51. #include <arch/asm.h>
  52. #include <genarch/acpi/acpi.h>
  53.  
  54. #include <arch/bios/bios.h>
  55.  
  56. #include <arch/mm/memory_init.h>
  57. #include <interrupt.h>
  58. #include <arch/debugger.h>
  59. #include <proc/thread.h>
  60. #include <syscall/syscall.h>
  61. #include <console/console.h>
  62. #include <ddi/irq.h>
  63.  
  64. start_info_t start_info;
  65. memzone_t meminfo;
  66.  
  67. extern void xen_callback(void);
  68. extern void xen_failsafe_callback(void);
  69.  
  70. void arch_pre_main(void)
  71. {
  72.     pte_t pte;
  73.     memsetb((uintptr_t) &pte, sizeof(pte), 0);
  74.    
  75.     pte.present = 1;
  76.     pte.writeable = 1;
  77.     pte.frame_address = ADDR2PFN((uintptr_t) start_info.shared_info);
  78.     ASSERT(xen_update_va_mapping(&shared_info, pte, UVMF_INVLPG) == 0);
  79.    
  80.     if (!(start_info.flags & SIF_INITDOMAIN)) {
  81.         /* Map console frame */
  82.         pte.present = 1;
  83.         pte.writeable = 1;
  84.         pte.frame_address = start_info.console.domU.mfn;
  85.         ASSERT(xen_update_va_mapping(&console_page, pte, UVMF_INVLPG) == 0);
  86.     } else
  87.         start_info.console.domU.evtchn = 0;
  88.    
  89.     ASSERT(xen_set_callbacks(XEN_CS, xen_callback, XEN_CS, xen_failsafe_callback) == 0);
  90.    
  91.     /* Create identity mapping */
  92.    
  93.     meminfo.start = ADDR2PFN(ALIGN_UP(KA2PA(start_info.ptl0), PAGE_SIZE)) + start_info.pt_frames;
  94.     meminfo.size = start_info.frames - meminfo.start;
  95.     meminfo.reserved = 0;
  96.  
  97.     uintptr_t pa;
  98.     index_t last_ptl0 = 0;
  99.     for (pa = PFN2ADDR(meminfo.start); pa < PFN2ADDR(meminfo.start + meminfo.size); pa += FRAME_SIZE) {
  100.         uintptr_t va = PA2KA(pa);
  101.        
  102.         if ((PTL0_INDEX(va) != last_ptl0) && (GET_PTL1_FLAGS(start_info.ptl0, PTL0_INDEX(va)) & PAGE_NOT_PRESENT)) {
  103.             /* New page directory entry needed */
  104.             uintptr_t tpa = PFN2ADDR(meminfo.start + meminfo.reserved);
  105.             uintptr_t tva = PA2KA(tpa);
  106.            
  107.             memsetb(tva, PAGE_SIZE, 0);
  108.            
  109.             pte_t *tptl3 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(start_info.ptl0, PTL0_INDEX(tva)));
  110.             SET_FRAME_ADDRESS(tptl3, PTL3_INDEX(tva), 0);
  111.             SET_PTL1_ADDRESS(start_info.ptl0, PTL0_INDEX(va), tpa);
  112.             SET_FRAME_ADDRESS(tptl3, PTL3_INDEX(tva), tpa);
  113.            
  114.             last_ptl0 = PTL0_INDEX(va);
  115.             meminfo.reserved++;
  116.         }
  117.        
  118.         pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(start_info.ptl0, PTL0_INDEX(va)));
  119.        
  120.         SET_FRAME_ADDRESS(ptl3, PTL3_INDEX(va), pa);
  121.         SET_FRAME_FLAGS(ptl3, PTL3_INDEX(va), PAGE_PRESENT | PAGE_WRITE);
  122.     }
  123.    
  124.     /* Put initial stack safely in the mapped area */
  125.     stack_safe = PA2KA(PFN2ADDR(meminfo.start + meminfo.reserved));
  126. }
  127.  
  128. void arch_pre_mm_init(void)
  129. {
  130.     pm_init();
  131.  
  132.     if (config.cpu_active == 1) {
  133.         interrupt_init();
  134. //      bios_init();
  135.        
  136.     }
  137. }
  138.  
  139. void arch_post_mm_init(void)
  140. {
  141.     if (config.cpu_active == 1) {
  142.         /* Initialize IRQ routing */
  143.         irq_init(IRQ_COUNT, IRQ_COUNT);
  144.        
  145.         /* Video */
  146.         xen_console_init();
  147.        
  148.         /* Enable debugger */
  149.         debugger_init();
  150.        
  151.         /* Merge all memory zones to 1 big zone */
  152.         zone_merge_all();
  153.     }
  154. }
  155.  
  156. void arch_post_cpu_init(void)
  157. {
  158. }
  159.  
  160. void arch_pre_smp_init(void)
  161. {
  162.     if (config.cpu_active == 1) {
  163.         memory_print_map();
  164.        
  165. #ifdef CONFIG_SMP
  166.         acpi_init();
  167. #endif /* CONFIG_SMP */
  168.     }
  169. }
  170.  
  171. void arch_post_smp_init(void)
  172. {
  173. }
  174.  
  175. void calibrate_delay_loop(void)
  176. {
  177. //  i8254_calibrate_delay_loop();
  178.     if (config.cpu_active == 1) {
  179.         /*
  180.          * This has to be done only on UP.
  181.          * On SMP, i8254 is not used for time keeping and its interrupt pin remains masked.
  182.          */
  183. //      i8254_normal_operation();
  184.     }
  185. }
  186.  
  187. /** Set thread-local-storage pointer
  188.  *
  189.  * TLS pointer is set in GS register. That means, the GS contains
  190.  * selector, and the descriptor->base is the correct address.
  191.  */
  192. unative_t sys_tls_set(unative_t addr)
  193. {
  194.     THREAD->arch.tls = addr;
  195.     set_tls_desc(addr);
  196.  
  197.     return 0;
  198. }
  199.  
  200. /** Acquire console back for kernel
  201.  *
  202.  */
  203. void arch_grab_console(void)
  204. {
  205. }
  206.  
  207. /** Return console to userspace
  208.  *
  209.  */
  210. void arch_release_console(void)
  211. {
  212. }
  213.  
  214. void arch_reboot(void)
  215. {
  216.     // TODO
  217.     while (1);
  218. }
  219.  
  220. /** @}
  221.  */
  222.