Rev 3940 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3940 | Rev 3973 | ||
---|---|---|---|
Line 41... | Line 41... | ||
41 | #include <arch/exception.h> |
41 | #include <arch/exception.h> |
42 | #include <typedefs.h> |
42 | #include <typedefs.h> |
43 | #include <arch/types.h> |
43 | #include <arch/types.h> |
44 | #include <interrupt.h> |
44 | #include <interrupt.h> |
45 | #include <arch/mm/frame.h> |
45 | #include <arch/mm/frame.h> |
46 | #include <ddi/ddi.h> |
- | |
47 | - | ||
48 | /** Physical memory area for devices. */ |
- | |
49 | static parea_t dev_area; |
- | |
50 | 46 | ||
51 | /** Initializes page tables. |
47 | /** Initializes page tables. |
52 | * |
48 | * |
53 | * 1:1 virtual-physical mapping is created in kernel address space. Mapping |
49 | * 1:1 virtual-physical mapping is created in kernel address space. Mapping |
54 | * for table with exception vectors is also created. |
50 | * for table with exception vectors is also created. |
Line 108... | Line 104... | ||
108 | 104 | ||
109 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
105 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
110 | return virtaddr; |
106 | return virtaddr; |
111 | } |
107 | } |
112 | 108 | ||
113 | void hw_area(void) |
- | |
114 | { |
- | |
115 | dev_area.pbase = end_frame; |
- | |
116 | dev_area.frames = SIZE2FRAMES(0xffffffff - end_frame); |
- | |
117 | ddi_parea_register(&dev_area); |
- | |
118 | } |
- | |
119 | - | ||
120 | /** @} |
109 | /** @} |
121 | */ |
110 | */ |