Subversion Repositories HelenOS

Rev

Rev 4129 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

  1. /*
  2.  * Copyright (c) 2006 Jakub Jermar
  3.  * Copyright (c) 2009 Pavel Rimsky
  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 sparc64mm  
  31.  * @{
  32.  */
  33. /** @file
  34.  */
  35.  
  36. #include <arch/mm/tsb.h>
  37. #include <arch/mm/pagesize.h>
  38. #include <arch/mm/tlb.h>
  39. #include <arch/mm/page.h>
  40. #include <arch/barrier.h>
  41. #include <mm/as.h>
  42. #include <arch/types.h>
  43. #include <macros.h>
  44. #include <debug.h>
  45.  
  46. #define TSB_INDEX_MASK  ((1 << (21 + 1 + TSB_SIZE - MMU_PAGE_WIDTH)) - 1)
  47.  
  48. /** Invalidate portion of TSB.
  49.  *
  50.  * We assume that the address space is already locked. Note that respective
  51.  * portions of both TSBs are invalidated at a time.
  52.  *
  53.  * @param as    Address space.
  54.  * @param page  First page to invalidate in TSB.
  55.  * @param pages Number of pages to invalidate. Value of (count_t) -1 means the
  56.  *      whole TSB.
  57.  */
  58. void tsb_invalidate(as_t *as, uintptr_t page, count_t pages)
  59. {
  60.     index_t i0, i;
  61.     count_t cnt;
  62.    
  63.     ASSERT(as->arch.tsb_description.tsb_base);
  64.    
  65.     i0 = (page >> MMU_PAGE_WIDTH) & TSB_INDEX_MASK;
  66.     ASSERT(i0 < TSB_ENTRY_COUNT);
  67.  
  68.     if (pages == (count_t) - 1 || (pages) > TSB_ENTRY_COUNT)
  69.         cnt = TSB_ENTRY_COUNT;
  70.     else
  71.         cnt = pages;
  72.    
  73.     for (i = 0; i < cnt; i++) {
  74.         ((tsb_entry_t *) as->arch.tsb_description.tsb_base)[
  75.             (i0 + i) & (TSB_ENTRY_COUNT - 1)].tag.invalid = true;
  76.     }
  77. }
  78.  
  79. /** Copy software PTE to ITSB.
  80.  *
  81.  * @param t     Software PTE.
  82.  * @param index Zero if lower 8K-subpage, one if higher 8K subpage.
  83.  */
  84. void itsb_pte_copy(pte_t *t, index_t index)
  85. {
  86.     #if 0
  87.     as_t *as;
  88.     tsb_entry_t *tsb;
  89.     index_t entry;
  90.  
  91.     ASSERT(index <= 1);
  92.    
  93.     as = t->as;
  94.     entry = ((t->page >> MMU_PAGE_WIDTH) + index) & TSB_INDEX_MASK;
  95.     ASSERT(entry < ITSB_ENTRY_COUNT);
  96.     tsb = &as->arch.itsb[entry];
  97.  
  98.     /*
  99.      * We use write barriers to make sure that the TSB load
  100.      * won't use inconsistent data or that the fault will
  101.      * be repeated.
  102.      */
  103.  
  104.     tsb->tag.invalid = true;    /* invalidate the entry
  105.                      * (tag target has this
  106.                      * set to 0) */
  107.  
  108.     write_barrier();
  109.  
  110.     tsb->tag.context = as->asid;
  111.     /* the shift is bigger than PAGE_WIDTH, do not bother with index  */
  112.     tsb->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;
  113.     tsb->data.value = 0;
  114.     tsb->data.size = PAGESIZE_8K;
  115.     tsb->data.pfn = (t->frame >> MMU_FRAME_WIDTH) + index;
  116.     tsb->data.cp = t->c;    /* cp as cache in phys.-idxed, c as cacheable */
  117.     tsb->data.p = t->k; /* p as privileged, k as kernel */
  118.     tsb->data.v = t->p; /* v as valid, p as present */
  119.    
  120.     write_barrier();
  121.    
  122.     tsb->tag.invalid = false;   /* mark the entry as valid */
  123.     #endif
  124. }
  125.  
  126. /** Copy software PTE to DTSB.
  127.  *
  128.  * @param t Software PTE.
  129.  * @param index Zero if lower 8K-subpage, one if higher 8K-subpage.
  130.  * @param ro    If true, the mapping is copied read-only.
  131.  */
  132. void dtsb_pte_copy(pte_t *t, index_t index, bool ro)
  133. {
  134.     #if 0
  135.     as_t *as;
  136.     tsb_entry_t *tsb;
  137.     index_t entry;
  138.    
  139.     ASSERT(index <= 1);
  140.  
  141.     as = t->as;
  142.     entry = ((t->page >> MMU_PAGE_WIDTH) + index) & TSB_INDEX_MASK;
  143.     ASSERT(entry < DTSB_ENTRY_COUNT);
  144.     tsb = &as->arch.dtsb[entry];
  145.  
  146.     /*
  147.      * We use write barriers to make sure that the TSB load
  148.      * won't use inconsistent data or that the fault will
  149.      * be repeated.
  150.      */
  151.  
  152.     tsb->tag.invalid = true;    /* invalidate the entry
  153.                      * (tag target has this
  154.                      * set to 0) */
  155.  
  156.     write_barrier();
  157.  
  158.     tsb->tag.context = as->asid;
  159.     /* the shift is bigger than PAGE_WIDTH, do not bother with index */
  160.     tsb->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;
  161.     tsb->data.value = 0;
  162.     tsb->data.size = PAGESIZE_8K;
  163.     tsb->data.pfn = (t->frame >> MMU_FRAME_WIDTH) + index;
  164.     tsb->data.cp = t->c;
  165. #ifdef CONFIG_VIRT_IDX_DCACHE
  166.     tsb->data.cv = t->c;
  167. #endif /* CONFIG_VIRT_IDX_DCACHE */
  168.     tsb->data.p = t->k;     /* p as privileged */
  169.     tsb->data.w = ro ? false : t->w;
  170.     tsb->data.v = t->p;
  171.    
  172.     write_barrier();
  173.    
  174.     tsb->tag.invalid = false;   /* mark the entry as valid */
  175.     #endif
  176. }
  177.  
  178. /** @}
  179.  */
  180.  
  181.  
  182.