Rev 1787 | Rev 1958 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1787 | Rev 1888 | ||
|---|---|---|---|
| Line 42... | Line 42... | ||
| 42 | * mapped first 2GB. |
42 | * mapped first 2GB. |
| 43 | * |
43 | * |
| 44 | * ATTENTION - PA2KA(KA2PA(x)) != x if 'x' is in kernel |
44 | * ATTENTION - PA2KA(KA2PA(x)) != x if 'x' is in kernel |
| 45 | */ |
45 | */ |
| 46 | 46 | ||
| 47 | #ifndef __amd64_PAGE_H__ |
47 | #ifndef KERN_amd64_PAGE_H_ |
| 48 | #define __amd64_PAGE_H__ |
48 | #define KERN_amd64_PAGE_H_ |
| 49 | 49 | ||
| 50 | #include <arch/mm/frame.h> |
50 | #include <arch/mm/frame.h> |
| 51 | 51 | ||
| 52 | #define PAGE_WIDTH FRAME_WIDTH |
52 | #define PAGE_WIDTH FRAME_WIDTH |
| 53 | #define PAGE_SIZE FRAME_SIZE |
53 | #define PAGE_SIZE FRAME_SIZE |