Rev 125 | Rev 195 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 125 | Rev 167 | ||
---|---|---|---|
Line 35... | Line 35... | ||
35 | #include <arch/interrupt.h> |
35 | #include <arch/interrupt.h> |
36 | #include <arch/asm.h> |
36 | #include <arch/asm.h> |
37 | #include <synch/spinlock.h> |
37 | #include <synch/spinlock.h> |
38 | #include <debug.h> |
38 | #include <debug.h> |
39 | 39 | ||
40 | /* |
- | |
41 | * Note. |
- | |
42 | * This is the preliminary code for controlling paging mechanism on ia32. It is |
- | |
43 | * needed by other parts of the kernel for its ability to map virtual addresses |
- | |
44 | * to physical. SMP code relies on this feature. Other than that, this code is |
- | |
45 | * by no means meant to implement virtual memory in terms of swapping pages in |
- | |
46 | * and out. |
- | |
47 | */ |
- | |
48 | - | ||
49 | __address bootstrap_dba; |
40 | __address bootstrap_dba; |
50 | 41 | ||
51 | void page_arch_init(void) |
42 | void page_arch_init(void) |
52 | { |
43 | { |
53 | __address dba; |
44 | __address dba; |