Rev 4490 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 389 | jermar | 1 | /* |
| 2071 | jermar | 2 | * Copyright (c) 2005 Jakub Jermar |
| 389 | 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 | |||
| 1888 | jermar | 29 | /** @addtogroup ia64mm |
| 1702 | cejka | 30 | * @{ |
| 31 | */ |
||
| 32 | /** @file |
||
| 33 | */ |
||
| 34 | |||
| 1888 | jermar | 35 | #ifndef KERN_ia64_TLB_H_ |
| 36 | #define KERN_ia64_TLB_H_ |
||
| 389 | jermar | 37 | |
| 818 | vana | 38 | #include <arch/mm/page.h> |
| 39 | #include <arch/mm/asid.h> |
||
| 900 | jermar | 40 | #include <arch/interrupt.h> |
| 41 | #include <arch/types.h> |
||
| 818 | vana | 42 | |
| 901 | jermar | 43 | /** Data and instruction Translation Register indices. */ |
| 44 | #define DTR_KERNEL 0 |
||
| 45 | #define ITR_KERNEL 0 |
||
| 3635 | vana | 46 | #define DTR_KSTACK1 4 |
| 47 | #define DTR_KSTACK2 5 |
||
| 818 | vana | 48 | |
| 901 | jermar | 49 | /** Portion of TLB insertion format data structure. */ |
| 50 | union tlb_entry { |
||
| 1780 | jermar | 51 | uint64_t word[2]; |
| 901 | jermar | 52 | struct { |
| 53 | /* Word 0 */ |
||
| 54 | unsigned p : 1; /**< Present. */ |
||
| 55 | unsigned : 1; |
||
| 56 | unsigned ma : 3; /**< Memory attribute. */ |
||
| 57 | unsigned a : 1; /**< Accessed. */ |
||
| 58 | unsigned d : 1; /**< Dirty. */ |
||
| 59 | unsigned pl : 2; /**< Privilege level. */ |
||
| 60 | unsigned ar : 3; /**< Access rights. */ |
||
| 61 | unsigned long long ppn : 38; /**< Physical Page Number, a.k.a. PFN. */ |
||
| 62 | unsigned : 2; |
||
| 63 | unsigned ed : 1; |
||
| 64 | unsigned ig1 : 11; |
||
| 65 | |||
| 66 | /* Word 1 */ |
||
| 67 | unsigned : 2; |
||
| 68 | unsigned ps : 6; /**< Page size will be 2^ps. */ |
||
| 69 | unsigned key : 24; /**< Protection key, unused. */ |
||
| 70 | unsigned : 32; |
||
| 71 | } __attribute__ ((packed)); |
||
| 72 | } __attribute__ ((packed)); |
||
| 73 | typedef union tlb_entry tlb_entry_t; |
||
| 74 | |||
| 1780 | jermar | 75 | extern void tc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtc); |
| 76 | extern void dtc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry); |
||
| 77 | extern void itc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry); |
||
| 901 | jermar | 78 | |
| 4490 | decky | 79 | extern void tr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtr, size_t tr); |
| 80 | extern void dtr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, size_t tr); |
||
| 81 | extern void itr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, size_t tr); |
||
| 818 | vana | 82 | |
| 4490 | decky | 83 | extern void dtlb_kernel_mapping_insert(uintptr_t page, uintptr_t frame, bool dtr, size_t tr); |
| 84 | extern void dtr_purge(uintptr_t page, size_t width); |
||
| 901 | jermar | 85 | |
| 902 | jermar | 86 | extern void dtc_pte_copy(pte_t *t); |
| 87 | extern void itc_pte_copy(pte_t *t); |
||
| 88 | |||
| 1780 | jermar | 89 | extern void alternate_instruction_tlb_fault(uint64_t vector, istate_t *istate); |
| 90 | extern void alternate_data_tlb_fault(uint64_t vector, istate_t *istate); |
||
| 91 | extern void data_nested_tlb_fault(uint64_t vector, istate_t *istate); |
||
| 92 | extern void data_dirty_bit_fault(uint64_t vector, istate_t *istate); |
||
| 93 | extern void instruction_access_bit_fault(uint64_t vector, istate_t *istate); |
||
| 94 | extern void data_access_bit_fault(uint64_t vector, istate_t *istate); |
||
| 95 | extern void page_not_present(uint64_t vector, istate_t *istate); |
||
| 818 | vana | 96 | |
| 389 | jermar | 97 | #endif |
| 1702 | cejka | 98 | |
| 1888 | jermar | 99 | /** @} |
| 1702 | cejka | 100 | */ |