arch/ia64/src/mm/as.c

   1 /*
   2  * Copyright (C) 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 #include <arch/mm/as.h>
  30 #include <arch/mm/asid.h>
  31 #include <arch/mm/page.h>
  32 #include <genarch/mm/as_ht.h>
  33 #include <genarch/mm/asid_fifo.h>
  34 #include <mm/asid.h>
  35 #include <arch.h>
  36 #include <arch/barrier.h>
  37 #include <synch/spinlock.h>
  38
  39 /** Architecture dependent address space init. */
  40 void as_arch_init(void)
  41 {
  42         as_operations = &as_ht_operations;
  43         asid_fifo_init();
  44 }
  45
  46 /** Prepare registers for switching to another address space.
  47  *
  48  * @param as Address space.
  49  */
  50 void as_install_arch(as_t *as)
  51 {
  52         ipl_t ipl;
  53         region_register rr;
  54         int i;
  55
  56         ipl = interrupts_disable();
  57         spinlock_lock(&as->lock);
  58
  59         ASSERT(as->asid != ASID_INVALID);
  60
  61         /*
  62          * Load respective ASID (7 consecutive RIDs) to
  63          * region registers.
  64          */
  65         for (i = 0; i < REGION_REGISTERS; i++) {
  66                 if (i == VRN_KERNEL)
  67                         continue;
  68
  69                 rr.word = rr_read(i);
  70                 rr.map.ve = false;                      /* disable VHPT walker */
  71                 rr.map.rid = ASID2RID(as->asid, i);
  72                 rr.map.ps = PAGE_WIDTH;
  73                 rr_write(i, rr.word);
  74         }
  75         srlz_d();
  76         srlz_i();
  77
  78         spinlock_unlock(&as->lock);
  79         interrupts_restore(ipl);
  80 }