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. |