Rev 900 | Rev 902 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 900 | Rev 901 | ||
---|---|---|---|
Line 36... | Line 36... | ||
36 | #include <arch/mm/asid.h> |
36 | #include <arch/mm/asid.h> |
37 | #include <arch/interrupt.h> |
37 | #include <arch/interrupt.h> |
38 | #include <arch/types.h> |
38 | #include <arch/types.h> |
39 | #include <typedefs.h> |
39 | #include <typedefs.h> |
40 | 40 | ||
- | 41 | /** Data and instruction Translation Register indices. */ |
|
- | 42 | #define DTR_KERNEL 0 |
|
- | 43 | #define ITR_KERNEL 0 |
|
- | 44 | #define DTR_KSTACK 1 |
|
- | 45 | ||
- | 46 | /** Portion of TLB insertion format data structure. */ |
|
- | 47 | union tlb_entry { |
|
- | 48 | __u64 word[2]; |
|
- | 49 | struct { |
|
- | 50 | /* Word 0 */ |
|
- | 51 | unsigned p : 1; /**< Present. */ |
|
- | 52 | unsigned : 1; |
|
- | 53 | unsigned ma : 3; /**< Memory attribute. */ |
|
- | 54 | unsigned a : 1; /**< Accessed. */ |
|
- | 55 | unsigned d : 1; /**< Dirty. */ |
|
- | 56 | unsigned pl : 2; /**< Privilege level. */ |
|
- | 57 | unsigned ar : 3; /**< Access rights. */ |
|
- | 58 | unsigned long long ppn : 38; /**< Physical Page Number, a.k.a. PFN. */ |
|
- | 59 | unsigned : 2; |
|
- | 60 | unsigned ed : 1; |
|
- | 61 | unsigned ig1 : 11; |
|
- | 62 | ||
- | 63 | /* Word 1 */ |
|
- | 64 | unsigned : 2; |
|
- | 65 | unsigned ps : 6; /**< Page size will be 2^ps. */ |
|
- | 66 | unsigned key : 24; /**< Protection key, unused. */ |
|
- | 67 | unsigned : 32; |
|
- | 68 | } __attribute__ ((packed)); |
|
- | 69 | } __attribute__ ((packed)); |
|
- | 70 | typedef union tlb_entry tlb_entry_t; |
|
- | 71 | ||
41 | extern void tc_mapping_insert(__address va, asid_t asid, vhpt_entry_t entry, bool dtc); |
72 | extern void tc_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, bool dtc); |
42 | extern void dtc_mapping_insert(__address va, asid_t asid, vhpt_entry_t entry); |
73 | extern void dtc_mapping_insert(__address va, asid_t asid, tlb_entry_t entry); |
43 | extern void itc_mapping_insert(__address va, asid_t asid, vhpt_entry_t entry); |
74 | extern void itc_mapping_insert(__address va, asid_t asid, tlb_entry_t entry); |
44 | 75 | ||
45 | extern void tr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, bool dtr, index_t tr); |
76 | extern void tr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, bool dtr, index_t tr); |
46 | extern void dtr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
77 | extern void dtr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
47 | extern void itr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
78 | extern void itr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
48 | 79 | ||
- | 80 | extern void dtlb_mapping_insert(__address page, __address frame, bool dtr, index_t tr); |
|
- | 81 | ||
49 | extern void alternate_instruction_tlb_fault(__u64 vector, struct exception_regdump *pstate); |
82 | extern void alternate_instruction_tlb_fault(__u64 vector, struct exception_regdump *pstate); |
50 | extern void alternate_data_tlb_fault(__u64 vector, struct exception_regdump *pstate); |
83 | extern void alternate_data_tlb_fault(__u64 vector, struct exception_regdump *pstate); |
51 | extern void data_nested_tlb_fault(__u64 vector, struct exception_regdump *pstate); |
84 | extern void data_nested_tlb_fault(__u64 vector, struct exception_regdump *pstate); |
52 | extern void data_dirty_bit_fault(__u64 vector, struct exception_regdump *pstate); |
85 | extern void data_dirty_bit_fault(__u64 vector, struct exception_regdump *pstate); |
53 | extern void instruction_access_bit_fault(__u64 vector, struct exception_regdump *pstate); |
86 | extern void instruction_access_bit_fault(__u64 vector, struct exception_regdump *pstate); |