Subversion Repositories HelenOS-historic

Rev

Rev 900 | Rev 902 | Go to most recent revision | Show entire file | Ignore 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);