Rev 3022 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3022 | Rev 4055 | ||
|---|---|---|---|
| Line 41... | Line 41... | ||
| 41 | #include <arch/exception.h> |
41 | #include <arch/exception.h> |
| 42 | 42 | ||
| 43 | #define PAGE_WIDTH FRAME_WIDTH |
43 | #define PAGE_WIDTH FRAME_WIDTH |
| 44 | #define PAGE_SIZE FRAME_SIZE |
44 | #define PAGE_SIZE FRAME_SIZE |
| 45 | 45 | ||
| 46 | #define PAGE_COLOR_BITS 0 /* dummy */ |
- | |
| 47 | - | ||
| 48 | #ifndef __ASM__ |
46 | #ifndef __ASM__ |
| 49 | # define KA2PA(x) (((uintptr_t) (x)) - 0x80000000) |
47 | # define KA2PA(x) (((uintptr_t) (x)) - 0x80000000) |
| 50 | # define PA2KA(x) (((uintptr_t) (x)) + 0x80000000) |
48 | # define PA2KA(x) (((uintptr_t) (x)) + 0x80000000) |
| 51 | #else |
49 | #else |
| 52 | # define KA2PA(x) ((x) - 0x80000000) |
50 | # define KA2PA(x) ((x) - 0x80000000) |
| Line 193... | Line 191... | ||
| 193 | * @param pt Pointer to the page table to set. |
191 | * @param pt Pointer to the page table to set. |
| 194 | */ |
192 | */ |
| 195 | static inline void set_ptl0_addr(pte_level0_t *pt) |
193 | static inline void set_ptl0_addr(pte_level0_t *pt) |
| 196 | { |
194 | { |
| 197 | asm volatile ( |
195 | asm volatile ( |
| 198 | "mcr p15, 0, %0, c2, c0, 0 \n" |
196 | "mcr p15, 0, %[pt], c2, c0, 0\n" |
| 199 | : |
- | |
| 200 | : "r"(pt) |
197 | :: [pt] "r" (pt) |
| 201 | ); |
198 | ); |
| 202 | } |
199 | } |
| 203 | 200 | ||
| 204 | 201 | ||
| 205 | /** Returns level 0 page table entry flags. |
202 | /** Returns level 0 page table entry flags. |