Subversion Repositories HelenOS

Rev

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

  1. /*
  2.  * Copyright (C) 2001-2006 Jakub Jermar
  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. /**
  30.  * @file    page.c
  31.  * @brief   Virtual Address Translation subsystem.
  32.  *
  33.  * This file contains code for creating, destroying and searching
  34.  * mappings between virtual addresses and physical addresses.
  35.  * Functions here are mere wrappers that call the real implementation.
  36.  * They however, define the single interface.
  37.  */
  38.  
  39. #include <mm/page.h>
  40. #include <arch/mm/page.h>
  41. #include <arch/mm/asid.h>
  42. #include <mm/as.h>
  43. #include <mm/frame.h>
  44. #include <arch/types.h>
  45. #include <typedefs.h>
  46. #include <arch/asm.h>
  47. #include <memstr.h>
  48. #include <debug.h>
  49. #include <arch.h>
  50.  
  51. /** Virtual operations for page subsystem. */
  52. page_mapping_operations_t *page_mapping_operations = NULL;
  53.  
  54. void page_init(void)
  55. {
  56.     page_arch_init();
  57. }
  58.  
  59. /** Map memory structure
  60.  *
  61.  * Identity-map memory structure
  62.  * considering possible crossings
  63.  * of page boundaries.
  64.  *
  65.  * @param s Address of the structure.
  66.  * @param size Size of the structure.
  67.  */
  68. void map_structure(__address s, size_t size)
  69. {
  70.     int i, cnt, length;
  71.  
  72.     length = size + (s - (s & ~(PAGE_SIZE - 1)));
  73.     cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0);
  74.  
  75.     for (i = 0; i < cnt; i++)
  76.         page_mapping_insert(AS_KERNEL, s + i * PAGE_SIZE, s + i * PAGE_SIZE, PAGE_NOT_CACHEABLE);
  77.  
  78. }
  79.  
  80. /** Insert mapping of page to frame.
  81.  *
  82.  * Map virtual address page to physical address frame
  83.  * using flags. Allocate and setup any missing page tables.
  84.  *
  85.  * The page table must be locked and interrupts must be disabled.
  86.  *
  87.  * @param as Address space to wich page belongs.
  88.  * @param page Virtual address of the page to be mapped.
  89.  * @param frame Physical address of memory frame to which the mapping is done.
  90.  * @param flags Flags to be used for mapping.
  91.  */
  92. void page_mapping_insert(as_t *as, __address page, __address frame, int flags)
  93. {
  94.     ASSERT(page_mapping_operations);
  95.     ASSERT(page_mapping_operations->mapping_insert);
  96.    
  97.     page_mapping_operations->mapping_insert(as, page, frame, flags);
  98. }
  99.  
  100. /** Remove mapping of page.
  101.  *
  102.  * Remove any mapping of page within address space as.
  103.  * TLB shootdown should follow in order to make effects of
  104.  * this call visible.
  105.  *
  106.  * The page table must be locked and interrupts must be disabled.
  107.  *
  108.  * @param as Address space to wich page belongs.
  109.  * @param page Virtual address of the page to be demapped.
  110.  */
  111. void page_mapping_remove(as_t *as, __address page)
  112. {
  113.     ASSERT(page_mapping_operations);
  114.     ASSERT(page_mapping_operations->mapping_remove);
  115.    
  116.     page_mapping_operations->mapping_remove(as, page);
  117. }
  118.  
  119. /** Find mapping for virtual page
  120.  *
  121.  * Find mapping for virtual page.
  122.  *
  123.  * The page table must be locked and interrupts must be disabled.
  124.  *
  125.  * @param as Address space to wich page belongs.
  126.  * @param page Virtual page.
  127.  *
  128.  * @return NULL if there is no such mapping; requested mapping otherwise.
  129.  */
  130. pte_t *page_mapping_find(as_t *as, __address page)
  131. {
  132.     ASSERT(page_mapping_operations);
  133.     ASSERT(page_mapping_operations->mapping_find);
  134.  
  135.     return page_mapping_operations->mapping_find(as, page);
  136. }
  137.