Subversion Repositories HelenOS

Rev

Rev 1809 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 1809 Rev 1821
Line 41... Line 41...
41 
#define PAGE_SIZE   FRAME_SIZE
 41 
#define PAGE_SIZE   FRAME_SIZE
42 
 
 42 
 
43 
#ifdef KERNEL
 43 
#ifdef KERNEL
44 
 
 44 
 
45 
#ifndef __ASM__
 45 
#ifndef __ASM__
- 
 
 46 
#   include <arch/hypercall.h>
46 
#   define KA2PA(x) (((uintptr_t) (x)) - 0x80000000)
 47 
#   define KA2PA(x) (((uintptr_t) (x)) - 0x80000000)
47 
#   define PA2KA(x) (((uintptr_t) (x)) + 0x80000000)
 48 
#   define PA2KA(x) (((uintptr_t) (x)) + 0x80000000)
48 
#else
 49 
#else
49 
#   define KA2PA(x) ((x) - 0x80000000)
 50 
#   define KA2PA(x) ((x) - 0x80000000)
50 
#   define PA2KA(x) ((x) + 0x80000000)
 51 
#   define PA2KA(x) ((x) + 0x80000000)
Line 57... Line 58...
57 
#define PTL0_ENTRIES_ARCH   1024
 58 
#define PTL0_ENTRIES_ARCH   1024
58 
#define PTL1_ENTRIES_ARCH   0
 59 
#define PTL1_ENTRIES_ARCH   0
59 
#define PTL2_ENTRIES_ARCH   0
 60 
#define PTL2_ENTRIES_ARCH   0
60 
#define PTL3_ENTRIES_ARCH   1024
 61 
#define PTL3_ENTRIES_ARCH   1024
61 
 
 62 
 
62 
#define PTL0_INDEX_ARCH(vaddr)  (((vaddr)>>22)&0x3ff)
 63 
#define PTL0_INDEX_ARCH(vaddr)  (((vaddr) >> 22) & 0x3ff)
63 
#define PTL1_INDEX_ARCH(vaddr)  0
 64 
#define PTL1_INDEX_ARCH(vaddr)  0
64 
#define PTL2_INDEX_ARCH(vaddr)  0
 65 
#define PTL2_INDEX_ARCH(vaddr)  0
65 
#define PTL3_INDEX_ARCH(vaddr)  (((vaddr)>>12)&0x3ff)
 66 
#define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 12) & 0x3ff)
66 
 
 67 
 
67 
#define GET_PTL1_ADDRESS_ARCH(ptl0, i)      ((pte_t *)((((pte_t *)(ptl0))[(i)].frame_address)<<12))
 68 
#define GET_PTL1_ADDRESS_ARCH(ptl0, i)      ((pte_t *)((((pte_t *)(ptl0))[(i)].frame_address) << 12))
68 
#define GET_PTL2_ADDRESS_ARCH(ptl1, i)      (ptl1)
 69 
#define GET_PTL2_ADDRESS_ARCH(ptl1, i)      (ptl1)
69 
#define GET_PTL3_ADDRESS_ARCH(ptl2, i)      (ptl2)
 70 
#define GET_PTL3_ADDRESS_ARCH(ptl2, i)      (ptl2)
70 
#define GET_FRAME_ADDRESS_ARCH(ptl3, i)     ((uintptr_t)((((pte_t *)(ptl3))[(i)].frame_address)<<12))
 71 
#define GET_FRAME_ADDRESS_ARCH(ptl3, i)     ((uintptr_t)((((pte_t *)(ptl3))[(i)].frame_address) << 12))
71 
 
 72 
 
72 
#define SET_PTL0_ADDRESS_ARCH(ptl0)     (write_cr3((uintptr_t) (ptl0)))
 73 
#define SET_PTL0_ADDRESS_ARCH(ptl0) { \
- 
 
 74 
    mmuext_op_t mmu_ext; \
- 
 
 75 
    mmu_ext.cmd = MMUEXT_NEW_BASEPTR; \
- 
 
 76 
    mmu_ext.arg1.mfn = ADDR2PFN(PA2MA(ptl0)); \
- 
 
 77 
    xen_mmuext_op(&mmu_ext, 1, NULL, DOMID_SELF); \
- 
 
 78 
}
73 
#define SET_PTL1_ADDRESS_ARCH(ptl0, i, a)   (((pte_t *)(ptl0))[(i)].frame_address = (a)>>12)
 79 
#define SET_PTL1_ADDRESS_ARCH(ptl0, i, a) { \
- 
 
 80 
    mmu_update_t update; \
- 
 
 81 
    update.ptr = PA2MA(KA2PA(&((pte_t *) (ptl0))[(i)])); \
- 
 
 82 
    update.val = PA2MA(a); \
- 
 
 83 
    xen_mmu_update(&update, 1, NULL, DOMID_SELF); \
- 
 
 84 
}
74 
#define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
 85 
#define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
75 
#define SET_PTL3_ADDRESS_ARCH(ptl2, i, a)
 86 
#define SET_PTL3_ADDRESS_ARCH(ptl2, i, a)
76 
#define SET_FRAME_ADDRESS_ARCH(ptl3, i, a)  (((pte_t *)(ptl3))[(i)].frame_address = (a)>>12)
 87 
#define SET_FRAME_ADDRESS_ARCH(ptl3, i, a) { \
- 
 
 88 
    mmu_update_t update; \
- 
 
 89 
    update.ptr = PA2MA(KA2PA(&((pte_t *) (ptl3))[(i)])); \
- 
 
 90 
    update.val = PA2MA(a); \
- 
 
 91 
    xen_mmu_update(&update, 1, NULL, DOMID_SELF); \
- 
 
 92 
}
77 
 
 93 
 
78 
#define GET_PTL1_FLAGS_ARCH(ptl0, i)        get_pt_flags((pte_t *)(ptl0), (index_t)(i))
 94 
#define GET_PTL1_FLAGS_ARCH(ptl0, i)        get_pt_flags((pte_t *)(ptl0), (index_t)(i))
79 
#define GET_PTL2_FLAGS_ARCH(ptl1, i)        PAGE_PRESENT
 95 
#define GET_PTL2_FLAGS_ARCH(ptl1, i)        PAGE_PRESENT
80 
#define GET_PTL3_FLAGS_ARCH(ptl2, i)        PAGE_PRESENT
 96 
#define GET_PTL3_FLAGS_ARCH(ptl2, i)        PAGE_PRESENT
81 
#define GET_FRAME_FLAGS_ARCH(ptl3, i)       get_pt_flags((pte_t *)(ptl3), (index_t)(i))
 97 
#define GET_FRAME_FLAGS_ARCH(ptl3, i)       get_pt_flags((pte_t *)(ptl3), (index_t)(i))
Line 85... Line 101...
85 
#define SET_PTL3_FLAGS_ARCH(ptl2, i, x)
 101 
#define SET_PTL3_FLAGS_ARCH(ptl2, i, x)
86 
#define SET_FRAME_FLAGS_ARCH(ptl3, i, x)    set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x))
 102 
#define SET_FRAME_FLAGS_ARCH(ptl3, i, x)    set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x))
87 
 
 103 
 
88 
#define PTE_VALID_ARCH(p)           (*((uint32_t *) (p)) != 0)
 104 
#define PTE_VALID_ARCH(p)           (*((uint32_t *) (p)) != 0)
89 
#define PTE_PRESENT_ARCH(p)         ((p)->present != 0)
 105 
#define PTE_PRESENT_ARCH(p)         ((p)->present != 0)
90 
#define PTE_GET_FRAME_ARCH(p)           ((p)->frame_address<<FRAME_WIDTH)
 106 
#define PTE_GET_FRAME_ARCH(p)           ((p)->frame_address << FRAME_WIDTH)
91 
#define PTE_WRITABLE_ARCH(p)            ((p)->writeable != 0)
 107 
#define PTE_WRITABLE_ARCH(p)            ((p)->writeable != 0)
92 
#define PTE_EXECUTABLE_ARCH(p)          1
 108 
#define PTE_EXECUTABLE_ARCH(p)          1
93 
 
 109 
 
94 
#ifndef __ASM__
 110 
#ifndef __ASM__
95 
 
 111 
 
Line 99... Line 115...
99 
#include <typedefs.h>
 115 
#include <typedefs.h>
100 
 
 116 
 
101 
/* Page fault error codes. */
 117 
/* Page fault error codes. */
102 
 
 118 
 
103 
/** When bit on this position is 0, the page fault was caused by a not-present page. */
 119 
/** When bit on this position is 0, the page fault was caused by a not-present page. */
104 
#define PFERR_CODE_P        (1<<0)
 120 
#define PFERR_CODE_P        (1 << 0)
105 
 
 121 
 
106 
/** When bit on this position is 1, the page fault was caused by a write. */
 122 
/** When bit on this position is 1, the page fault was caused by a write. */
107 
#define PFERR_CODE_RW       (1<<1)
 123 
#define PFERR_CODE_RW       (1 << 1)
108 
 
 124 
 
109 
/** When bit on this position is 1, the page fault was caused in user mode. */
 125 
/** When bit on this position is 1, the page fault was caused in user mode. */
110 
#define PFERR_CODE_US       (1<<2)
 126 
#define PFERR_CODE_US       (1 << 2)
111 
 
 127 
 
112 
/** When bit on this position is 1, a reserved bit was set in page directory. */
 128 
/** When bit on this position is 1, a reserved bit was set in page directory. */
113 
#define PFERR_CODE_RSVD     (1<<3) 
129 
#define PFERR_CODE_RSVD     (1 << 3)
114 
 
 130 
 
115 
/** Page Table Entry. */
 131 
/** Page Table Entry. */
116 
struct page_specifier {
 132 
struct page_specifier {
117 
    unsigned present : 1;
 133 
    unsigned present : 1;
118 
    unsigned writeable : 1;
 134 
    unsigned writeable : 1;