Subversion Repositories HelenOS

Rev

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

Rev 2198 Rev 2234
Line 37... Line 37...
37 
#define __MM_H__
 37 
#define __MM_H__
38 
 
 38 
 
39 
#include "types.h"
 39 
#include "types.h"
40 
 
 40 
 
41 
 
 41 
 
42 
#define FRAME_WIDTH     12 /* 4KB frames */
 42 
#define FRAME_WIDTH                 12                  /* 4KB frames */
43 
#define FRAME_SIZE      (1 << FRAME_WIDTH)
 43 
#define FRAME_SIZE                  (1 << FRAME_WIDTH)
44 
 
 44 
 
45 
#define PAGE_WIDTH      FRAME_WIDTH
 45 
#define PAGE_WIDTH                  FRAME_WIDTH
46 
#define PAGE_SIZE       FRAME_SIZE
 46 
#define PAGE_SIZE                   FRAME_SIZE
47 
 
 47 
 
48 
#ifndef __ASM__
 48 
#ifndef __ASM__
49 
#   define KA2PA(x)                         (((uintptr_t) (x)) - 0x80000000)
 49 
#   define KA2PA(x)                 (((uintptr_t) (x)) - 0x80000000)
50 
#   define PA2KA(x)                         (((uintptr_t) (x)) + 0x80000000)
 50 
#   define PA2KA(x)                 (((uintptr_t) (x)) + 0x80000000)
51 
#else
 51 
#else
52 
#   define KA2PA(x)                         ((x) - 0x80000000)
 52 
#   define KA2PA(x)                 ((x) - 0x80000000)
53 
#   define PA2KA(x)                         ((x) + 0x80000000)
 53 
#   define PA2KA(x)                 ((x) + 0x80000000)
54 
#endif
 54 
#endif
55 
 
 55 
 
- 
 
 56 
#define PTL0_ENTRIES_ARCH               (2<<12)             /* 4096 */
56 
#define SET_PTL0_ADDRESS_ARCH(ptl0)         ( set_ptl0_addr((pte_level0_section *)(ptl0)) )
57 
#define SET_PTL0_ADDRESS_ARCH(ptl0)             ( set_ptl0_addr((pte_level0_section *)(ptl0)) )
57 
 
 58 
 
- 
 
 59 
/** Frames per 1MB section */
- 
 
 60 
#define FRAMES_PER_SECTION              ( ( 1 << 20 ) / FRAME_SIZE )
58 
 
 61 
 
59 
/// User no acess, kernel read/write
 62 
/** Converts adress to frame */
60 
#define pte_ap_user_no_kernel_rw    1
63 
#define ADDR2PFN( addr )                ( ((uintptr_t)(addr))>>FRAME_WIDTH )
61 
 
 64 
 
62 
/// Frames per 1MB section
 - 
 
63 
#define FRAMES_PER_SECTION          ( ( 1 << 20 ) / FRAME_SIZE )
 - 
 
64 
 
 - 
 
65 
/// Converts Address to frame
 - 
 
66 
#define ADDR2PFN( addr )            ( ((uintptr_t)(addr))>>FRAME_WIDTH )
 - 
 
67 
/** Value of descriptor_type in page table entry that signals
 65 
/** Value of descriptor_type in page table entry that signals
68 
 * that this entry describe section
 66 
 * that this entry describe section
69 
 */  
 67 
 */  
70 
#define pte_descriptor_section 2
 68 
#define PTE_DESCRIPTOR_SECTION              2
- 
 
 69 
 
- 
 
 70 
/**  Rights: user-no acess, kernel-read/write */
- 
 
 71 
#define PTE_AP_USER_NO_KERNEL_RW            1
71 
 
 72 
 
72 
/** Page Table Entry. */
 - 
 
73 
typedef struct {
 - 
 
74 
    /**PageTables are so different that we have different types
 - 
 
75 
     *   for level 0 and level1 page table entries
 - 
 
76 
     */  
 - 
 
77 
  unsigned dummy : 32;
 - 
 
78 
} pte_t;
 - 
 
79 
 
 73 
 
80 
/** Page table level 0 entry - section format */
 74 
/** Page table level 0 entry - section format */
81 
typedef struct {
 75 
typedef struct {
82 
    unsigned descriptor_type     : 2; // should be 2
 76 
    unsigned descriptor_type     : 2; // should be 2
83 
    unsigned bufferable          : 1;
 77 
    unsigned bufferable          : 1;
84 
    unsigned cacheable           : 1;
 78 
    unsigned cacheable           : 1;
85 
    unsigned machine_depend      : 1; // Alf: ???? v Architecture previev neni vyznam definovan
 79 
    unsigned machine_depend      : 1;
86 
    unsigned domain              : 4;
 80 
    unsigned domain              : 4;
87 
    unsigned should_be_zero_1    : 1;
 81 
    unsigned should_be_zero_1    : 1;
88 
    unsigned access_permission   : 2;  
 82 
    unsigned access_permission   : 2;  
89 
    unsigned should_be_zero_2    : 8;
 83 
    unsigned should_be_zero_2    : 8;
90 
    unsigned section_base_addr   : 12;
 84 
    unsigned section_base_addr   : 12;
Line 100... Line 94...
100 
    : "r"(pt)
 94 
    : "r"(pt)
101 
    );
 95 
    );
102 
   
 96 
   
103 
}
 97 
}
104 
 
 98 
 
105 
/// Page table that holds 1:1 mapping for kernel starting
99 
/** Page table that holds 1:1 mapping for kernel starting */
106 
extern pte_level0_section page_table[4096];
 100 
extern pte_level0_section page_table[PTL0_ENTRIES_ARCH];
107 
 
 - 
 
108 
 
 - 
 
109 
/** Set page table entry to point no frame, be read/write by kernel,
 - 
 
110 
 *   no access by user, become to domain 0, no cache or buffer
 - 
 
111 
 *   \param pte page table entry to set
 - 
 
112 
 *   \param frame frame number of first frame 1MB section
 - 
 
113 
 *   Note: If frame not aligned it's used first lower  1MB aligned frame
 - 
 
114 
 */  
 - 
 
115 
void init_pte_level0_section_entry( pte_level0_section* pte, unsigned frame);
 - 
 
116 
 
 101 
 
117 
/// Sets memory mapping for kernel
 102 
/** Sets memory mapping for kernel */
118 
void mm_kernel_mapping(void);
 103 
void mm_kernel_mapping(void);
119 
 
 104 
 
120 
#endif
 105 
#endif
121 
 
 106 
 
122 
/** @}
 107 
/** @}