| 1 | /*
 | 
|---|
| 2 | * Copyright (c) 2006 Jakub Vana
 | 
|---|
| 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 ia64mm  
 | 
|---|
| 30 |  * @{
 | 
|---|
| 31 |  */
 | 
|---|
| 32 | /** @file
 | 
|---|
| 33 | */
 | 
|---|
| 34 | 
 | 
|---|
| 35 | #include <memstr.h>
 | 
|---|
| 36 | #include <arch/mm/vhpt.h>
 | 
|---|
| 37 | #include <mm/frame.h>
 | 
|---|
| 38 | #include <print.h>
 | 
|---|
| 39 | 
 | 
|---|
| 40 | static vhpt_entry_t* vhpt_base;
 | 
|---|
| 41 | 
 | 
|---|
| 42 | uintptr_t vhpt_set_up(void)
 | 
|---|
| 43 | {
 | 
|---|
| 44 |         vhpt_base = frame_alloc(VHPT_WIDTH - FRAME_WIDTH, FRAME_KA | FRAME_ATOMIC);
 | 
|---|
| 45 |         if (!vhpt_base) 
 | 
|---|
| 46 |                 panic("Kernel configured with VHPT but no memory for table.");
 | 
|---|
| 47 |         vhpt_invalidate_all();
 | 
|---|
| 48 |         return (uintptr_t) vhpt_base;
 | 
|---|
| 49 | }
 | 
|---|
| 50 | 
 | 
|---|
| 51 | 
 | 
|---|
| 52 | void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry)
 | 
|---|
| 53 | {
 | 
|---|
| 54 |         region_register rr_save, rr;
 | 
|---|
| 55 |         index_t vrn;
 | 
|---|
| 56 |         rid_t rid;
 | 
|---|
| 57 |         uint64_t tag;
 | 
|---|
| 58 | 
 | 
|---|
| 59 |         vhpt_entry_t *ventry;
 | 
|---|
| 60 | 
 | 
|---|
| 61 | 
 | 
|---|
| 62 |         vrn = va >> VRN_SHIFT;
 | 
|---|
| 63 |         rid = ASID2RID(asid, vrn);
 | 
|---|
| 64 |                                                                                                                                                                                                                                 
 | 
|---|
| 65 |         rr_save.word = rr_read(vrn);
 | 
|---|
| 66 |         rr.word = rr_save.word;
 | 
|---|
| 67 |         rr.map.rid = rid;
 | 
|---|
| 68 |         rr_write(vrn, rr.word);
 | 
|---|
| 69 |         srlz_i();
 | 
|---|
| 70 |         
 | 
|---|
| 71 |         ventry = (vhpt_entry_t *) thash(va);
 | 
|---|
| 72 |         tag = ttag(va);
 | 
|---|
| 73 |         rr_write(vrn, rr_save.word);
 | 
|---|
| 74 |         srlz_i();
 | 
|---|
| 75 |         srlz_d();
 | 
|---|
| 76 | 
 | 
|---|
| 77 |         ventry->word[0] = entry.word[0];
 | 
|---|
| 78 |         ventry->word[1] = entry.word[1];
 | 
|---|
| 79 |         ventry->present.tag.tag_word = tag;
 | 
|---|
| 80 | }
 | 
|---|
| 81 | 
 | 
|---|
| 82 | void vhpt_invalidate_all()
 | 
|---|
| 83 | {
 | 
|---|
| 84 |         memsetb(vhpt_base, 1 << VHPT_WIDTH, 0);
 | 
|---|
| 85 | }
 | 
|---|
| 86 | 
 | 
|---|
| 87 | void vhpt_invalidate_asid(asid_t asid)
 | 
|---|
| 88 | {
 | 
|---|
| 89 |         vhpt_invalidate_all();
 | 
|---|
| 90 | }
 | 
|---|
| 91 | 
 | 
|---|
| 92 | /** @}
 | 
|---|
| 93 |  */
 | 
|---|